Merge pull request #44 from Seasawher/dependabot/github_actions/leanp…

…rover/lean-action-1.0.0
Seasawher · Jul 23, 2024 · 1794832 · 1794832
2 parents ee11ab8 + 51207ed
commit 1794832
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -19,6 +19,6 @@ jobs:
         uses: actions/checkout@v4
 
       - name: lean action
-        uses: leanprover/lean-action@v1-beta
+        uses: leanprover/lean-action@v1.0.0
         with:
           test: true