Fixing CI status badge