Update CI to v8.16-v8.18

inQWIRE · Jan 30, 2024 · 9c79ec1 · 9c79ec1
1 parent 57991cb
commit 9c79ec1
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -12,11 +12,9 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - '8.14'
-          - '8.15'
           - '8.16'
           - '8.17'
-          - 'dev'
+          - '8.18'
         ocaml_version:
           - 'default'
       fail-fast: false # don't stop jobs if one fails