chore: upgrade lean-action to v1-beta (#140)

leanprover-community · May 26, 2024 · 5f07d90 · 5f07d90
1 parent bbb5ab5
commit 5f07d90
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -13,6 +13,8 @@ jobs:
       matrix:
         os: [ubuntu-latest]
     steps:
-      - uses: leanprover/lean-action@v1-alpha
+      - uses: actions/checkout@v4
+
+      - uses: leanprover/lean-action@v1-beta
         with:
           check-reservoir-eligibility: true