ci: add more Coq versions to check

formal-land · Jan 18, 2024 · 7a5bda3 · 7a5bda3
1 parent 79a5f9f
commit 7a5bda3
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,7 +18,10 @@ jobs:
         ocaml-version:
           - 4.12.0
         coq-version:
-          - 8.13.1
+          - 8.13.2
+          - 8.14.1
+          - 8.15.2
+          - 8.16.1
           - 8.17.1
           - 8.18.0