Upgrade to Rocq 9.2

.github/workflows/coq-action.yml

@@ -1,4 +1,4 @@
-name: coq-action
+name: rocq-action
 
 on:
   push:
@@ -23,8 +23,24 @@ jobs:
       - uses: "actions/checkout@v4"
         with:
           submodules: "true"
-      - name: "Docker Coq action"
+      - name: "Docker Rocq action"
         uses: "coq-community/docker-coq-action@v1"
         with:
           opam_file: "bonak.opam"
-          coq_version: "9.1.1"
+          coq_version: "9.2"
+          before_install: |
+            startGroup "Configure opam"
+              if opam pin list --short | grep -qx dune; then
+                opam unpin -y dune
+              fi
+              opam config list
+              opam repo list
+              opam list
+            endGroup
+          install: |
+            startGroup "Install dependencies"
+              sudo apt-get update -y -q
+              opam pin add -n -y -k path $PACKAGE $WORKDIR
+              opam update -y default
+              opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only
+            endGroup

bonak.opam

@@ -9,8 +9,9 @@ homepage: "https://github.com/artagnon/bonak"
 bug-reports: "https://github.com/artagnon/bonak/issues"
 dev-repo: "git+https://github.com/artagnon/bonak"
 depends: [
-  "coq"  { >= "9.1.0" }
-  "dune" { >= "3.17.2" }
+  "rocq-core"   { >= "9.2.0" }
+  "rocq-stdlib"
+  "dune"        { >= "3.22.0" }
 ]
 build: [
   ["dune" "build"]

dune-project

@@ -1,5 +1,5 @@
-(lang dune 3.17)
+(lang dune 3.22)
 
-(using coq 0.8)
+(using rocq 0.12)
 
 (name bonak)

theories/dune

@@ -1,4 +1,4 @@
-(coq.theory
+(rocq.theory
  (name Bonak)
  (theories Stdlib))