Revert "Remove the continuous-integration prefix."

as recommended by the mysterious @mislav

This reverts commit f9764d80ca9e4f075457462f4ae4cd5dc1c84714.