ci: add coq 8.20

fblanqui · Sep 17, 2024 · 1aed2a7 · 1aed2a7
1 parent 7455c8a
commit 1aed2a7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -19,6 +19,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.20'
           - 'coqorg/coq:8.19'
           - 'coqorg/coq:8.18'
           - 'coqorg/coq:8.17'