From 06b1d4cdf032d9ce01123f5ba643bb1902253b5e Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 10 Apr 2024 22:49:47 -0700 Subject: [PATCH] Update coq.yml --- .github/workflows/coq.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 }})