diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 7a8330c6..91d1dd12 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.19" , "8.18" , "8.17" , "8.16" ]
+        coq-version: [ "dev" , "8.20" , "8.19" , "8.18" , "8.17" , "8.16" ]
         targets: [ "fiat-core parsers parsers-examples coq-ci" ]
 
     name: ${{ matrix.coq-version }} (${{ matrix.targets }})
@@ -34,7 +34,7 @@ jobs:
           sudo chmod -R a+rw .
           startGroup 'install general dependencies'
           sudo apt-get update -y
-          sudo apt-get install -y python python3
+          sudo apt-get install -y python-is-python3
           eval $(opam env)
           endGroup
           export TARGETS="${{ matrix.targets }}"