chore: add a newer nightly to the build matrix

leanprover · Apr 8, 2024 · 2f36a39 · 2f36a39
1 parent 026f1ce
commit 2f36a39
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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: