Add Coq v8.19 to CI

coq-community · Aug 6, 2024 · 0e4658c · 0e4658c
1 parent 24a446c
commit 0e4658c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coq-ci.yml b/.github/workflows/coq-ci.yml
@@ -16,6 +16,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.19'
           - 'coqorg/coq:8.18'
           - 'coqorg/coq:8.17'
           - 'coqorg/coq:8.16'