From 2f36a399d33a15c8b689a5c2807f5a265840864c Mon Sep 17 00:00:00 2001 From: David Thrane Christiansen Date: Mon, 8 Apr 2024 21:40:06 +0200 Subject: [PATCH] chore: add a newer nightly to the build matrix --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e07eb39..2101424 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,6 +14,7 @@ jobs: - "leanprover/lean4:4.5.0" - "leanprover/lean4:4.6.0" - "leanprover/lean4:4.7.0" + - "leanprover/lean4:nightly-2024-04-07" name: Build and test runs-on: ubuntu-latest steps: