From 16b6c31c600ef0c2f2a4908de8d2827435ff2d79 Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Fri, 2 Oct 2026 16:29:03 +1000 Subject: [PATCH] chore: date the branch-named action pin comments Co-Authored-By: Claude Opus 5.5 (1M context) --- .github/workflows/build.yml | 2 +- .github/workflows/upgrade_lean.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 60ea6cfd..9c583737 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -211,4 +211,4 @@ jobs: - name: update lean-3.3x branch if: github.ref == 'refs/heads/master' - uses: leanprover-contrib/update-versions-action@f0ead25c644d4d4cd37d46752c4e2ee4d9044060 # master + uses: leanprover-contrib/update-versions-action@f0ead25c644d4d4cd37d46752c4e2ee4d9044060 # master as of 2026-09-28 diff --git a/.github/workflows/upgrade_lean.yml b/.github/workflows/upgrade_lean.yml index dbc62de3..74959056 100644 --- a/.github/workflows/upgrade_lean.yml +++ b/.github/workflows/upgrade_lean.yml @@ -30,7 +30,7 @@ jobs: run: ./scripts/fetch_olean_cache.sh - name: upgrade lean and dependencies - uses: leanprover-contrib/lean-upgrade-action@d8031fe6ff31bfbe490b7acf6604e733a8b4e13b # master + uses: leanprover-contrib/lean-upgrade-action@d8031fe6ff31bfbe490b7acf6604e733a8b4e13b # master as of 2026-09-28 with: repo: ${{ github.repository }} access-token: ${{ secrets.PA_TOKEN }}