From b20e7a6713b3367ce045d7728e780b5ffcb2d308 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 10 Nov 2026 17:34:32 +0000 Subject: [PATCH] chore(deps): bump the actions group with 2 updates Bumps the actions group with 2 updates: [leanprover/lean-action](https://github.com/leanprover/lean-action) and [github/codeql-action](https://github.com/github/codeql-action). Updates `leanprover/lean-action` from 1.7.0 to 1.7.1 - [Release notes](https://github.com/leanprover/lean-action/releases) - [Changelog](https://github.com/leanprover/lean-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/leanprover/lean-action/compare/v1.7.0...v1.7.1) Updates `github/codeql-action` from 4.39.1 to 4.39.3 - [Release notes](https://github.com/github/codeql-action/releases) - [Changelog](https://github.com/github/codeql-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/github/codeql-action/compare/v4.39.1...v4.39.3) --- updated-dependencies: - dependency-name: leanprover/lean-action dependency-version: 1.7.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions - dependency-name: github/codeql-action dependency-version: 4.39.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions ... Signed-off-by: dependabot[bot] --- .github/workflows/actions.lock | 16 ++++++++-------- .github/workflows/ci.yml | 2 +- .github/workflows/codeql.yml | 6 +++--- 3 files changed, 12 insertions(+), 12 deletions(-) diff --git a/.github/workflows/actions.lock b/.github/workflows/actions.lock index 405c83f..f3bebb4 100644 --- a/.github/workflows/actions.lock +++ b/.github/workflows/actions.lock @@ -5,10 +5,10 @@ version: 'v0.0.3' workflows: '.github/workflows/ci.yml': - 'actions/checkout@v7.0.1' - - 'leanprover/lean-action@v1.7.0' + - 'leanprover/lean-action@v1.7.1' '.github/workflows/codeql.yml': - 'actions/checkout@v7.0.1' - - 'github/codeql-action@v4.39.1' + - 'github/codeql-action@v4.39.3' '.github/workflows/label-triage.yml': [] '.github/workflows/labels.yml': [] '.github/workflows/pages.yml': @@ -45,14 +45,14 @@ dependencies: repo_id: 496012378 uses: - 'actions/upload-artifact@bbbca2ddaa5d8feaa63e36b76fdaad77386f024f' - 'github/codeql-action@v4.39.1': - ref: 'v4.39.1' - commit: 'sha1-9b3254085494b55a0f7c4c2b3d2d52cc712ce370' + 'github/codeql-action@v4.39.3': + ref: 'v4.39.3' + commit: 'sha1-33d7b85da1a04171e211befe2c739303b9a4c066' owner_id: 9919 repo_id: 259445878 - 'leanprover/lean-action@v1.7.0': - ref: 'v1.7.0' - commit: 'sha1-fe408643ea7367d8c0404a8be3975bb145f5fb64' + 'leanprover/lean-action@v1.7.1': + ref: 'v1.7.1' + commit: 'sha1-ba3fdfe5c4476c925da13bf11a005ddb47e47aee' owner_id: 7233018 repo_id: 795738301 uses: diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f433b08..b85d293 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -17,6 +17,6 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v7.0.1 - - uses: leanprover/lean-action@v1.7.0 + - uses: leanprover/lean-action@v1.7.1 - name: No sorries run: "! grep -rn 'sorry' Marches/ Marches.lean" diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 5dfdd0c..813472e 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -35,13 +35,13 @@ jobs: uses: actions/checkout@v7.0.1 - name: Initialize CodeQL - uses: github/codeql-action/init@v4.39.1 + uses: github/codeql-action/init@v4.39.3 with: languages: ${{ matrix.language }} build-mode: ${{ matrix.build-mode }} - name: Autobuild - uses: github/codeql-action/autobuild@v4.39.1 + uses: github/codeql-action/autobuild@v4.39.3 - name: Perform CodeQL Analysis - uses: github/codeql-action/analyze@v4.39.1 + uses: github/codeql-action/analyze@v4.39.3