chore: update lean-action to v1 (#21)

leanprover-community · Jul 31, 2024 · e7e90d9 · e7e90d9
1 parent 543725b
commit e7e90d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -7,7 +7,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
-      - uses: leanprover/lean-action@v1-beta
+      - uses: leanprover/lean-action@v1
         with:
           check-reservoir-eligibility: true
       # use setup from lean-action to perform the following steps