fix CI

uds-psl · Jan 15, 2025 · d363f98 · d363f98
1 parent bf21339
commit d363f98
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -10,7 +10,7 @@ jobs:
         opam_file:
           - 'coq-autosubst-ocaml.opam'
         image:
-          - 'coqorg/coq:dev-ocaml-4.14.1-flambda'
+          - 'coqorg/coq:8.20.0-ocaml-4.14.2-flambda' 
       fail-fast: false  # don't stop jobs if one fails
     steps:
       - uses: actions/checkout@v2