From 400060b425574cc751b7df6c5673b9792457e68f Mon Sep 17 00:00:00 2001 From: Alex J Best Date: Wed, 28 Dec 2022 11:11:31 +0100 Subject: [PATCH] Update upgrade_lean.yml --- .github/workflows/upgrade_lean.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/upgrade_lean.yml b/.github/workflows/upgrade_lean.yml index 3e31e65..1fd5cf9 100644 --- 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: