From 2f10ac5537a403bf33babd8bf948f8ba5407c5ad Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sun, 22 Dec 2024 18:50:13 +0100 Subject: [PATCH 1/2] coq-fcsl-pcm.2.0.0 doesn't support coq-hierarchy-builder.1.8.0 --- released/packages/coq-fcsl-pcm/coq-fcsl-pcm.2.0.0/opam | 1 + 1 file changed, 1 insertion(+) 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 index aba73e283..49acc9370 100644 --- 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" ] From f43c7f4dd150f61a54a474e20cf6824b596c8841 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sun, 22 Dec 2024 19:03:34 +0100 Subject: [PATCH 2/2] try to fix CI deploy build issues --- .github/workflows/ci.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2490db55c..d7c24030b 100644 --- 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 \ No newline at end of file + uses: actions/deploy-pages@v2