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

…rover/lean-action-1.0.2
Seasawher · Aug 26, 2024 · 64a0a0f · 64a0a0f
2 parents 7a1795c + cd59b90
commit 64a0a0f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -18,6 +18,6 @@ jobs:
         uses: actions/checkout@v4
 
       - name: lean action
-        uses: leanprover/[email protected].1
+        uses: leanprover/[email protected].2
         with:
           test: true