From ee9653be8c102b2671c42cbd1ccb6fc9d8d0c30c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 17 Sep 2024 00:06:42 -0700 Subject: [PATCH] Add Coq 8.20, use python-is-python3 --- .github/workflows/coq.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 }}"