From 76a8c3a7267c3828fdf0e137a678c0fd4976ef10 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 7 Aug 2026 13:52:53 +0000 Subject: [PATCH] chore(deps): bump the actions group across 1 directory with 3 updates Bumps the actions group with 3 updates in the / directory: [haskell-actions/setup](https://github.com/haskell-actions/setup), [github/codeql-action](https://github.com/github/codeql-action) and [taiki-e/install-action](https://github.com/taiki-e/install-action). Updates `haskell-actions/setup` from 2.11.0 to 2.12.0 - [Release notes](https://github.com/haskell-actions/setup/releases) - [Commits](https://github.com/haskell-actions/setup/compare/v2.11.0...v2.12.0) Updates `github/codeql-action` from 4.37.3 to 4.37.6 - [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.37.3...v4.37.6) Updates `taiki-e/install-action` from 2.85.3 to 2.85.8 - [Release notes](https://github.com/taiki-e/install-action/releases) - [Changelog](https://github.com/taiki-e/install-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/taiki-e/install-action/compare/v2.85.3...v2.85.8) --- updated-dependencies: - dependency-name: github/codeql-action dependency-version: 4.37.6 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions - dependency-name: haskell-actions/setup dependency-version: 2.12.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: actions - dependency-name: taiki-e/install-action dependency-version: 2.85.8 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions ... Signed-off-by: dependabot[bot] --- .github/workflows/agda-meta-checker.yml | 2 +- .github/workflows/codeql.yml | 4 ++-- .github/workflows/mvp-smoke.yml | 2 +- .github/workflows/s4-loop.yml | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/agda-meta-checker.yml b/.github/workflows/agda-meta-checker.yml index d835b433..c907d1b0 100644 --- a/.github/workflows/agda-meta-checker.yml +++ b/.github/workflows/agda-meta-checker.yml @@ -62,7 +62,7 @@ jobs: - name: Setup Haskell if: steps.detect.outputs.relevant == 'true' - uses: haskell-actions/setup@v2.11.0 + uses: haskell-actions/setup@v2.12.0 with: ghc-version: '9.6' cabal-version: '3.10' diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 169aa4b7..9aec8ef4 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -42,12 +42,12 @@ jobs: uses: actions/checkout@v7.0.1 - name: Initialize CodeQL - uses: github/codeql-action/init@v4.37.3 + uses: github/codeql-action/init@v4.37.6 with: languages: ${{ matrix.language }} build-mode: ${{ matrix.build-mode }} - name: Perform CodeQL Analysis - uses: github/codeql-action/analyze@v4.37.3 + uses: github/codeql-action/analyze@v4.37.6 with: category: "/language:${{ matrix.language }}" diff --git a/.github/workflows/mvp-smoke.yml b/.github/workflows/mvp-smoke.yml index 92fd1d66..2476c5f2 100644 --- a/.github/workflows/mvp-smoke.yml +++ b/.github/workflows/mvp-smoke.yml @@ -40,7 +40,7 @@ jobs: uses: Swatinem/rust-cache@v2.9.1 - name: Install just - uses: taiki-e/install-action@v2.85.3 + uses: taiki-e/install-action@v2.85.8 with: # Governance R1 requires versioned family-tool pins # (just|must|trust|adjust|bust|dust|intend); bare `tool: just` diff --git a/.github/workflows/s4-loop.yml b/.github/workflows/s4-loop.yml index 4537b41e..eac9fc45 100644 --- a/.github/workflows/s4-loop.yml +++ b/.github/workflows/s4-loop.yml @@ -41,7 +41,7 @@ jobs: - name: Cache Cargo uses: Swatinem/rust-cache@v2.9.1 - name: Install just - uses: taiki-e/install-action@v2.85.3 + uses: taiki-e/install-action@v2.85.8 with: tool: just@1.51.0 - name: Install system dependencies