checking that CI works