Add Coq 8.20, use python-is-python3

mit-plv · Sep 17, 2024 · ee9653b · ee9653b
1 parent 33cee61
commit ee9653b
Showing 1 changed file with 2 additions and 2 deletions.
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.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 }}"