adds 8.20 to the Coq versions for building UniMath (UniMath#1908)

giorgio93p · Jul 18, 2024 · 8c85a86 · 8c85a86
1 parent 701090b
commit 8c85a86
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/build-unimath.yml b/.github/workflows/build-unimath.yml
@@ -46,7 +46,7 @@ jobs:
       matrix:
         os: [ubuntu-22.04]
         # https://github.com/coq-community/docker-coq/wiki#ocaml-versions-policy
-        coq-version: [latest, dev]
+        coq-version: [latest, 8.20-alpha, dev]
         # (the following is obsolete:) coq-version: [8.16] or [latest, 8.16] (when 8.17 is released)
         ocaml-version: [default]
 
@@ -144,8 +144,8 @@ jobs:
       fail-fast: false
       matrix:
         satellite: [SetHITs, largecatmodules, GrpdHITs, TypeTheory]
-        coq-version: [latest, dev]
-        ocaml-version: [4.14-flambda]
+        coq-version: [latest, 8.20-alpha, dev]
+        ocaml-version: [default]
         # (outdated exception:) exclude:
         # - satellite: GrpdHITs
         #   coq-version: dev