Update coq.yml

mit-plv · Apr 11, 2024 · 06b1d4c · 06b1d4c
1 parent ebd7475
commit 06b1d4c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -11,7 +11,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        coq-version: [ "dev" , "8.18" , "8.17" , "8.16" ]
+        coq-version: [ "dev" , "8.19" , "8.18" , "8.17" , "8.16" ]
         targets: [ "fiat-core parsers parsers-examples coq-ci" ]
 
     name: ${{ matrix.coq-version }} (${{ matrix.targets }})