Bump coq version for docker?

vellvm · Mar 13, 2024 · 68a2327 · 68a2327
1 parent 970cedd
commit 68a2327
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/vellvm.yml b/.github/workflows/vellvm.yml
@@ -12,7 +12,7 @@ jobs:
         os:
           - ubuntu-20.04
         coq_version:
-          - 8.19.0
+          - 8.19.1
         ocaml_version:
           - 4.14.1-flambda