From 118b469be61b23fad71feac89c47032c3a27570b Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Fri, 2 Oct 2026 06:48:27 +0000 Subject: [PATCH] chore: update pinned actions to their SHA-pinned releases Co-Authored-By: Claude Opus 5.5 (1M context) --- .github/workflows/add_label_from_diff.yaml | 2 +- .github/workflows/update.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/add_label_from_diff.yaml b/.github/workflows/add_label_from_diff.yaml index ad2c644978..c3ea26065b 100644 --- a/.github/workflows/add_label_from_diff.yaml +++ b/.github/workflows/add_label_from_diff.yaml @@ -27,7 +27,7 @@ jobs: ref: master path: tools - name: Configure Lean - uses: leanprover/lean-action@38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9 # v1.5.0 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 # v1.6.1 with: auto-config: false use-github-cache: false diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml index 9c57606b72..354c92540e 100644 --- a/.github/workflows/update.yml +++ b/.github/workflows/update.yml @@ -19,4 +19,4 @@ jobs: uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4 - name: Update Lean project - uses: leanprover-community/lean-update@6248cd120c49db5450e5c189c05dfe85968649a8 # main + uses: leanprover-community/lean-update@d290683c61477adeb282fa32f2079339fff7f608 # main