From 51b2bbcce25791d1e7fa33f2775d876b609318d0 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Tue, 15 Sep 2026 03:06:24 +0000 Subject: [PATCH] chore(actions): relock drifted action pins Regenerates .github/workflows/actions.lock only. Workflow files are untouched: the run used --no-onboard --no-narrow --no-migrate-local-actions, and the commit was gated on an assert that the changed-path set is exactly the lockfile. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_0178nN4Nm3neFRy5K9StZKnB --- .github/workflows/actions.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/actions.lock b/.github/workflows/actions.lock index ce34c5f..f5b0c17 100644 --- a/.github/workflows/actions.lock +++ b/.github/workflows/actions.lock @@ -5,7 +5,7 @@ version: 'v0.0.2' workflows: '.github/workflows/ci.yml': - 'actions/checkout@v7.0.1' - - 'leanprover/lean-action@v1.5.0' + - 'leanprover/lean-action@v1.6.0' '.github/workflows/codeql.yml': - 'actions/checkout@v7.0.1' - 'github/codeql-action@v4.37.9' @@ -56,9 +56,9 @@ dependencies: commit: 'sha1-a3cd79fba541444c619902330d0b618eb1612634' owner_id: 6759885 repo_id: 1326697643 - 'leanprover/lean-action@v1.5.0': - ref: 'v1.5.0' - commit: 'sha1-38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9' + 'leanprover/lean-action@v1.6.0': + ref: 'v1.6.0' + commit: 'sha1-50fcf42d2e460296f1a34b402e990d1b24f8b596' owner_id: 7233018 repo_id: 795738301 uses: