Update upgrade_lean.yml

alexjbest · Dec 28, 2022 · 400060b · 400060b
1 parent 643c5fa
commit 400060b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/upgrade_lean.yml b/.github/workflows/upgrade_lean.yml
@@ -9,7 +9,7 @@ jobs:
     name: Bump Lean and dependency versions
     steps:
       - name: checkout project
-        uses: actions/checkout@v2
+        uses: actions/checkout@v2.5.0
       - name: upgrade Lean and dependencies
         uses: leanprover-contrib/lean-upgrade-action@master
         with: