Merge pull request #3272 from palmskog/pcm-hb-1.8

coq-fcsl-pcm.2.0.0 doesn't support coq-hierarchy-builder.1.8.0
coq · Dec 22, 2024 · 593a060 · 593a060
2 parents 1b0f530 + f43c7f4
commit 593a060
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,12 +11,12 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - name: Install OCaml
-        uses: avsm/setup-ocaml@v2
+        uses: avsm/setup-ocaml@v3
         with:
-          ocaml-compiler: 4.14.1
+          ocaml-compiler: 4.14.2
 
       - name: Build index
         run: |
@@ -62,4 +62,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v2
diff --git a/released/packages/coq-fcsl-pcm/coq-fcsl-pcm.2.0.0/opam b/released/packages/coq-fcsl-pcm/coq-fcsl-pcm.2.0.0/opam
@@ -23,6 +23,7 @@ install: [make "install"]
 depends: [
   "coq" { (>= "8.19" & < "8.21~") | (= "dev") }
   "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.4~") | (= "dev") }
+  "coq-hierarchy-builder" { < "1.8" }
   "coq-mathcomp-algebra" 
 ]