chore(deps): bump the actions group with 4 updates

[dependabot]

Bumps the actions group with 4 updates: github/codeql-action/init, github/codeql-action/analyze, taiki-e/install-action and hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml.

Updates github/codeql-action/init from 4.36.3 to 4.37.0

Release notes

Sourced from github/codeql-action/init's releases.

v4.37.0

• Update default CodeQL bundle version to 2.26.0. #3995
• In addition to the existing input format, the config-file input for the codeql-action/init step will soon support a new [owner/]repo[@ref][:path] format. All components except the repository name are optional. If omitted, owner defaults to the same owner as the repository the analysis is running for, ref to main, and path to .github/codeql-action.yaml. Support for this format ships in this version of the CodeQL Action, but will only be enabled over the coming weeks. #3973

Changelog

Sourced from github/codeql-action/init's changelog.

CodeQL Action Changelog

See the releases page for the relevant changes to the CodeQL CLI and language packs.

[UNRELEASED]

• Upcoming breaking change: Add a deprecation warning for customers using CodeQL version 2.20.6 and earlier. These versions of CodeQL were discontinued on 1 July 2026 alongside GitHub Enterprise Server 3.16, and will be unsupported by the next minor release of the CodeQL Action. #3956

4.37.0 - 08 Jul 2026

• Update default CodeQL bundle version to 2.26.0. #3995
• In addition to the existing input format, the config-file input for the codeql-action/init step will soon support a new [owner/]repo[@ref][:path] format. All components except the repository name are optional. If omitted, owner defaults to the same owner as the repository the analysis is running for, ref to main, and path to .github/codeql-action.yaml. Support for this format ships in this version of the CodeQL Action, but will only be enabled over the coming weeks. #3973

4.36.3 - 01 Jul 2026

No user facing changes.

4.36.2 - 04 Jun 2026

• Cache CodeQL CLI version information across Actions steps. #3943
• Reduce requests while waiting for analysis processing by using exponential backoff when polling SARIF processing status. #3937
• Update default CodeQL bundle version to 2.25.6. #3948

4.36.1 - 02 Jun 2026

No user facing changes.

4.36.0 - 22 May 2026

• Breaking change: Bump the minimum required CodeQL bundle version to 2.19.4. #3894
• Add support for SHA-256 Git object IDs. #3893
• Update default CodeQL bundle version to 2.25.5. #3926

4.35.5 - 15 May 2026

• We have improved how the JavaScript bundles for the CodeQL Action are generated to avoid duplication across bundles and reduce the size of the repository by around 70%. This should have no effect on the runtime behaviour of the CodeQL Action. #3899
• For performance and accuracy reasons, improved incremental analysis will now only be enabled on a pull request when diff-informed analysis is also enabled for that run. If diff-informed analysis is unavailable (for example, because the PR diff ranges could not be computed), the action will fall back to a full analysis. #3791
• If multiple inputs are provided for the GitHub-internal analysis-kinds input, only code-scanning will be enabled. The analysis-kinds input is experimental, for GitHub-internal use only, and may change without notice at any time. #3892
• Added an experimental change which, when running a Code Scanning analysis for a PR with improved incremental analysis enabled, prefers CodeQL CLI versions that have a cached overlay-base database for the configured languages. This speeds up analysis for a repository when there is not yet a cached overlay-base database for the latest CLI version. We expect to roll this change out to everyone in May. #3880

4.35.4 - 07 May 2026

• Update default CodeQL bundle version to 2.25.4. #3881

4.35.3 - 01 May 2026

• Upcoming breaking change: Add a deprecation warning for customers using CodeQL version 2.19.3 and earlier. These versions of CodeQL were discontinued on 9 April 2026 alongside GitHub Enterprise Server 3.15, and will be unsupported by the next minor release of the CodeQL Action. #3837
• Configurations for private registries that use Cloudsmith or GCP OIDC are now accepted. #3850
• Best-effort connection tests for private registries now use GET requests instead of HEAD for better compatibility with various registry implementations. For NuGet feeds, the test is now always performed against the service index. #3853
• Fixed a bug where two diagnostics produced within the same millisecond could overwrite each other on disk, causing one of them to be lost. #3852

... (truncated)

Commits

• 99df26d Merge pull request #3996 from github/update-v4.37.0-c7c896d71
• 31c2707 Add changenote for #3973
• 72df218 Update changelog for v4.37.0
• c7c896d Merge pull request #3995 from github/update-bundle/codeql-bundle-v2.26.0
• 3f34ff0 Add changelog note
• 43bec09 Update default bundle to codeql-bundle-v2.26.0
• f58f0d1 Merge pull request #3973 from github/mbg/repo-props/config-file-shorthands
• 7dc37cb Merge remote-tracking branch 'origin/main' into mbg/repo-props/config-file-sh...
• 8e22350 Thread ActionState to initConfig
• 69c9e8c Mark some status-report imports as type-only to avoid circular dependencies
• Additional commits viewable in compare view

Updates github/codeql-action/analyze from 4.36.3 to 4.37.0

Release notes

Sourced from github/codeql-action/analyze's releases.

v4.37.0

• Update default CodeQL bundle version to 2.26.0. #3995
• In addition to the existing input format, the config-file input for the codeql-action/init step will soon support a new [owner/]repo[@ref][:path] format. All components except the repository name are optional. If omitted, owner defaults to the same owner as the repository the analysis is running for, ref to main, and path to .github/codeql-action.yaml. Support for this format ships in this version of the CodeQL Action, but will only be enabled over the coming weeks. #3973

Changelog

Sourced from github/codeql-action/analyze's changelog.

CodeQL Action Changelog

See the releases page for the relevant changes to the CodeQL CLI and language packs.

[UNRELEASED]

• Upcoming breaking change: Add a deprecation warning for customers using CodeQL version 2.20.6 and earlier. These versions of CodeQL were discontinued on 1 July 2026 alongside GitHub Enterprise Server 3.16, and will be unsupported by the next minor release of the CodeQL Action. #3956

4.37.0 - 08 Jul 2026

• Update default CodeQL bundle version to 2.26.0. #3995
• In addition to the existing input format, the config-file input for the codeql-action/init step will soon support a new [owner/]repo[@ref][:path] format. All components except the repository name are optional. If omitted, owner defaults to the same owner as the repository the analysis is running for, ref to main, and path to .github/codeql-action.yaml. Support for this format ships in this version of the CodeQL Action, but will only be enabled over the coming weeks. #3973

4.36.3 - 01 Jul 2026

No user facing changes.

4.36.2 - 04 Jun 2026

• Cache CodeQL CLI version information across Actions steps. #3943
• Reduce requests while waiting for analysis processing by using exponential backoff when polling SARIF processing status. #3937
• Update default CodeQL bundle version to 2.25.6. #3948

4.36.1 - 02 Jun 2026

No user facing changes.

4.36.0 - 22 May 2026

• Breaking change: Bump the minimum required CodeQL bundle version to 2.19.4. #3894
• Add support for SHA-256 Git object IDs. #3893
• Update default CodeQL bundle version to 2.25.5. #3926

4.35.5 - 15 May 2026

• We have improved how the JavaScript bundles for the CodeQL Action are generated to avoid duplication across bundles and reduce the size of the repository by around 70%. This should have no effect on the runtime behaviour of the CodeQL Action. #3899
• For performance and accuracy reasons, improved incremental analysis will now only be enabled on a pull request when diff-informed analysis is also enabled for that run. If diff-informed analysis is unavailable (for example, because the PR diff ranges could not be computed), the action will fall back to a full analysis. #3791
• If multiple inputs are provided for the GitHub-internal analysis-kinds input, only code-scanning will be enabled. The analysis-kinds input is experimental, for GitHub-internal use only, and may change without notice at any time. #3892
• Added an experimental change which, when running a Code Scanning analysis for a PR with improved incremental analysis enabled, prefers CodeQL CLI versions that have a cached overlay-base database for the configured languages. This speeds up analysis for a repository when there is not yet a cached overlay-base database for the latest CLI version. We expect to roll this change out to everyone in May. #3880

4.35.4 - 07 May 2026

• Update default CodeQL bundle version to 2.25.4. #3881

4.35.3 - 01 May 2026

• Upcoming breaking change: Add a deprecation warning for customers using CodeQL version 2.19.3 and earlier. These versions of CodeQL were discontinued on 9 April 2026 alongside GitHub Enterprise Server 3.15, and will be unsupported by the next minor release of the CodeQL Action. #3837
• Configurations for private registries that use Cloudsmith or GCP OIDC are now accepted. #3850
• Best-effort connection tests for private registries now use GET requests instead of HEAD for better compatibility with various registry implementations. For NuGet feeds, the test is now always performed against the service index. #3853
• Fixed a bug where two diagnostics produced within the same millisecond could overwrite each other on disk, causing one of them to be lost. #3852

... (truncated)

Commits

• 99df26d Merge pull request #3996 from github/update-v4.37.0-c7c896d71
• 31c2707 Add changenote for #3973
• 72df218 Update changelog for v4.37.0
• c7c896d Merge pull request #3995 from github/update-bundle/codeql-bundle-v2.26.0
• 3f34ff0 Add changelog note
• 43bec09 Update default bundle to codeql-bundle-v2.26.0
• f58f0d1 Merge pull request #3973 from github/mbg/repo-props/config-file-shorthands
• 7dc37cb Merge remote-tracking branch 'origin/main' into mbg/repo-props/config-file-sh...
• 8e22350 Thread ActionState to initConfig
• 69c9e8c Mark some status-report imports as type-only to avoid circular dependencies
• Additional commits viewable in compare view

Updates taiki-e/install-action from 2.82.7 to 2.83.0

Release notes

Sourced from taiki-e/install-action's releases.

2.83.0

• Support cargo-about. (#1924, thanks @​ruffsl)

• Update uv@latest to 0.11.28.

• Update martin@latest to 1.12.0.

• Update kingfisher@latest to 1.106.0.

• Update biome@latest to 2.5.3.

2.82.11

• Update wasm-tools@latest to 1.253.0.

• Update uv@latest to 0.11.27.

• Update mise@latest to 2026.7.2.

• Update mdbook@latest to 0.5.4.

2.82.10

• Update tombi@latest to 1.2.0.

• Update cargo-nextest@latest to 0.9.140.

2.82.9

• Update vacuum@latest to 0.29.9.

• Update prek@latest to 0.4.8.

• Update cargo-tarpaulin@latest to 0.37.0.

• Update cargo-leptos@latest to 0.3.7.

2.82.8

• Update vacuum@latest to 0.29.8.

• Update uv@latest to 0.11.26.

• Update typos@latest to 1.48.0.

• Update trivy@latest to 0.72.0.

• Update tombi@latest to 1.1.7.

• Update prek@latest to 0.4.6.

• Update mise@latest to 2026.7.0.

• Update just@latest to 1.55.1.

... (truncated)

Changelog

Sourced from taiki-e/install-action's changelog.

Changelog

All notable changes to this project will be documented in this file.

This project adheres to Semantic Versioning.

[Unreleased]

[2.83.0] - 2026-07-09

• Support cargo-about. (#1924, thanks @​ruffsl)

• Update uv@latest to 0.11.28.

• Update martin@latest to 1.12.0.

• Update kingfisher@latest to 1.106.0.

• Update biome@latest to 2.5.3.

[2.82.11] - 2026-07-08

• Update wasm-tools@latest to 1.253.0.

• Update uv@latest to 0.11.27.

• Update mise@latest to 2026.7.2.

• Update mdbook@latest to 0.5.4.

[2.82.10] - 2026-07-07

• Update tombi@latest to 1.2.0.

• Update cargo-nextest@latest to 0.9.140.

[2.82.9] - 2026-07-05

• Update vacuum@latest to 0.29.9.

• Update prek@latest to 0.4.8.

• Update cargo-tarpaulin@latest to 0.37.0.

• Update cargo-leptos@latest to 0.3.7.

... (truncated)

Commits

• c7eb173 Release 2.83.0
• 84d4171 Update changelog
• 21e5d85 Support cargo-about (#1924)
• 786ded9 Update uv@latest to 0.11.28
• 1c1bbcf Update rclone manifest
• 4e5eb09 Update martin@latest to 1.12.0
• dc84fc5 Update kingfisher@latest to 1.106.0
• cf10e54 Update biome@latest to 2.5.3
• 5ebac0d Release 2.82.11
• 0ef1b06 Update wasm-tools@latest to 1.253.0
• Additional commits viewable in compare view

Updates hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml from 6693e01727aefdc01cbb5ddd728e9a510128f2a2 to 4591649f42b16089a9b1d4eaf3bb2f780c23e8ac

Changelog

Sourced from hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml's changelog.

Changelog

[Unreleased]

Fixed — assail detector precision (false-positive reduction, 2026-06-24)

Three assail analyzer fixes, all conservative (no new false negatives), found while triaging hyperpolymath/proven#68 and JoshuaJewell/paint-type#86:

• UncheckedAllocation (C) is now NULL-check aware. The detector previously flagged every malloc(...) and emitted a line-less, file-level finding. It now scans per line, skips a malloc whose result is NULL-checked within a short window (if (p == NULL), if (!p), nullptr), and attaches a line number — which also lets an inline // panic-attack: accepted marker suppress a reviewed site (marker suppression is line-gated). A genuinely-unchecked malloc still fires. This is why a real null-check fix (proven stubs.c) previously failed to clear.
• DynamicCodeExecution (JS/Python) is word-boundary aware. contains("eval(") matched FFI symbol names like proven_calculator_eval(. Now \beval\s*\( (and \b(?:eval|exec)\s*\( for Python); a genuine eval( still fires.
• CommandInjection (Shell) no longer matches the --eval CLI flag. contains("eval ") matched --eval/-eval. Now the eval builtin is matched only in statement position ((?m)(?:^|[\s;&|(])eval[ \t]).

Verified end-to-end: proven 1→0 active Critical/High (stubs.c clears), paint-type 36→35 (gossamer --eval benchmark FP clears; genuinely-unsafe vendored FFI + the irreducible believe_me axiom correctly remain). 4 new tests in tests/analyzer_tests.rs; full analyzer suite green; zero warnings. PR #134. Refs #32.

Added — attestation unforgeability proof (Idris2, PROOF-PROGRAMME §3.2)

• src/abi/AttestationUnforgeability.idr: Idris2 proof that the intent→evidence→seal attestation chain is unforgeable. Models chain_hash = H(intent‖evidence‖report) + the Ed25519 signature with the cryptographic facts (chain-hash collision-resistance, Ed25519 EUF-CMA message- and signer-binding, signature correctness) as a parameters block — hypotheses, not postulate (PA021 bans escape hatches), so it is an honest conditional theorem. Under %default total it Qed-closes integrity (tampering any phase invalidates the seal), authenticity (a verifying seal comes from the matching key), and nonRepudiation (a genuine seal verifies), plus two corollaries. Typechecks under Idris2 0.8.0. Closes #123.

Added — contractile registry (INDEX.a2ml)

• .machine_readable/contractiles/INDEX.a2ml: the previously-missing contractile registry, modelled on echidna's canonical INDEX. Catalogues all

... (truncated)

Commits

• 4591649 ci: Secret Scanner caller must grant the reusable's job permissions (#157)
• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions