Merge pull request #36 from lean-ja/dependabot/github_actions/leanpro…

…ver/lean-action-1.0.1
lean-ja · Aug 21, 2024 · e1e7c8b · e1e7c8b
2 parents 249f787 + 3551478
commit e1e7c8b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -21,6 +21,6 @@ jobs:
         uses: actions/checkout@v4
 
       - name: lean action
-        uses: leanprover/[email protected].0
+        uses: leanprover/[email protected].1
         with:
           test: false