diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 7b12a5c9..7a8330c6 100644
--- 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 }})