Add 9.2 to CI

Author: shilangyu

.github/workflows/ci.yml

@@ -12,7 +12,7 @@ jobs:
 
     strategy:
       matrix:
-        rocq: ["9.1.1"]
+        rocq: ["9.1.1", "9.2.0"]
       fail-fast: false
 
     steps:
@@ -27,6 +27,7 @@ jobs:
 
       - name: Install opam dependencies
         run: |
+          opam repo add rocq-released https://rocq-prover.org/opam/released
           opam pin add --no-action --kind version rocq-core ${{ matrix.rocq }}
           opam install . --deps-only