From 389cd464e371e54bcce0d98a75603361cec0b908 Mon Sep 17 00:00:00 2001 From: Tej Chajed Date: Thu, 26 Sep 2024 14:31:37 -0500 Subject: [PATCH] Bump to Coq 8.20 --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 2aa33a8..2bf3f51 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -20,7 +20,7 @@ jobs: build: runs-on: ubuntu-latest env: - coq_version: "8.19" + coq_version: "8.20" steps: - uses: actions/checkout@v4 - uses: coq-community/docker-coq-action@v1