CI -> OCaml 4.11

inQWIRE · Jan 27, 2023 · d91e575 · d91e575
1 parent 60d7074
commit d91e575
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -18,7 +18,7 @@ jobs:
           - '8.15.2'
           - '8.16.1'
         ocaml_version:
-          - '4.12'
+          - '4.11'
       fail-fast: false # don't stop jobs if one fails
     steps:
       - uses: actions/checkout@v2