merge main

leanprover-community · Aug 5, 2024 · 982eb1c · 982eb1c
2 parents 3a4df43 + e7e90d9
commit 982eb1c
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