Update CI

Author: pi8027

.github/workflows/ci.yml

@@ -10,7 +10,8 @@ jobs:
         image:
           - mathcomp/mathcomp:2.4.0-coq-8.20
           - mathcomp/mathcomp:2.4.0-rocq-prover-9.0
-          - mathcomp/mathcomp-dev:coq-8.20
+          - mathcomp/mathcomp-dev:rocq-prover-9.0
+          - mathcomp/mathcomp-dev:rocq-prover-dev
       fail-fast: false
     steps:
       - uses: actions/checkout@v2