docker again

LPCIC · Jun 25, 2024 · c80805b · c80805b
1 parent e6a5304
commit c80805b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -30,7 +30,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        coq_version: [8.19, 8.20-alpha, dev]
+        coq_version: [8.19, 8.20, dev]
         ocaml_version:
           - '4.14-flambda'
     steps: