CI

logsem · Jul 22, 2023 · 1d89954 · 1d89954
1 parent d6f3e19
commit 1d89954
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -15,7 +15,7 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - '8.17.0'
+          - '8.17.1'
       max-parallel: 4
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false