Also test 8.18 on opam

mit-plv · Nov 9, 2023 · 7d64e77 · 7d64e77
1 parent 4986a73
commit 7d64e77
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml
@@ -16,7 +16,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        coq-version: ['dev', '8.16.0']
+        coq-version: ['dev', '8.18.0', '8.17.0']
         ocaml-compiler: ['4.11.1']
         os: ['ubuntu-latest', 'macos-latest', 'windows-latest']
         coq-extra-flags: ['-async-proofs-j 1', '']