From fd49a571c17c12a4802807cc0ff6d81986de9a1a Mon Sep 17 00:00:00 2001 From: David Thrane Christiansen Date: Wed, 3 Apr 2024 10:45:45 +0200 Subject: [PATCH] chore: add v4.7.0 to 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 20fafc7..e07eb39 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,6 +13,7 @@ jobs: - "leanprover/lean4:4.4.0" - "leanprover/lean4:4.5.0" - "leanprover/lean4:4.6.0" + - "leanprover/lean4:4.7.0" name: Build and test runs-on: ubuntu-latest steps: