CI: also run with Rocq (9.0, 9.1)

Author: vbgl

.github/workflows/ci.yml

@@ -21,6 +21,8 @@ jobs:
         -  mathcomp/mathcomp:2.2.0-coq-8.20
         -  mathcomp/mathcomp:2.3.0-coq-8.20
         -  mathcomp/mathcomp:2.4.0-coq-8.20
+        -  mathcomp/mathcomp:2.4.0-rocq-prover-9.0
+        -  mathcomp/mathcomp:2.4.0-rocq-prover-9.1
       fail-fast: false
     steps:
     - uses: actions/checkout@v6
@@ -29,7 +31,7 @@ jobs:
         custom_image: ${{ matrix.image }}
         before_install: |
           startGroup "Workaround permission issue"
-            sudo chown -R coq:coq .
+            sudo chown -R 1000:1000 .
           endGroup
     - name: Revert permissions
       if: ${{ always() }}