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

[dependabot]

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

Updates github/codeql-action from 4.38.1 to 4.38.2

Release notes

Sourced from github/codeql-action's releases.

v4.38.2

• Update default CodeQL bundle version to 2.27.1. #4160

Changelog

Sourced from github/codeql-action's changelog.

4.38.2 - 24 Sept 2026

• Update default CodeQL bundle version to 2.27.1. #4160

Commits

• 2892aa5 Merge pull request #4168 from github/update-v4.38.2-a6ef2c96f
• 8ad03a3 Trigger workflows
• 98af865 Update changelog for v4.38.2
• a6ef2c9 Merge pull request #4156 from github/mario-campos/fix-validate-cmd
• 1ef28a1 Merge pull request #4166 from github/dependabot/github_actions/dot-github/wor...
• 26cb08b Merge pull request #4163 from github/mbg/fix-getCommitOid-stubs
• f035ce3 Merge pull request #4165 from github/dependabot/npm_and_yarn/npm-minor-8eaed9...
• 5e4e255 Rebuild
• b13f5f4 Bump ruby/setup-ruby
• c87fe57 Rebuild
• Additional commits viewable in compare view

Updates taiki-e/install-action from 2.87.18 to 2.87.22

Release notes

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

2.87.22

• Update typos@latest to 1.50.3.

• Update tombi@latest to 1.5.8.

• Update prek@latest to 0.5.4.

• Update mise@latest to 2026.9.16.

• Update kache@latest to 0.28.0.

• Update gungraun-runner@latest to 0.20.0.

• Update cargo-tarpaulin@latest to 0.37.5.

• Update cargo-leptos@latest to 0.3.10.

• Update cargo-binstall@latest to 1.24.0.

2.87.21

• Update wasm-bindgen@latest to 0.2.129.

• Update protoc-gen-connect-openapi@latest to 0.27.3.

• Update wasmtime@latest to 49.0.1.

• Update uv@latest to 0.12.19.

• Update mise@latest to 2026.9.13.

• Update kingfisher@latest to 2.7.0.

2.87.20

• Update uv@latest to 0.12.18.

• Update cargo-shear@latest to 1.14.0.

2.87.19

• Update wasmtime@latest to 49.0.0.

• Update cargo-shear@latest to 1.13.5.

• Update cargo-nextest@latest to 0.9.146.

Changelog

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

[2.87.22] - 2026-09-29

• Update typos@latest to 1.50.3.

• Update tombi@latest to 1.5.8.

• Update prek@latest to 0.5.4.

• Update mise@latest to 2026.9.16.

• Update kache@latest to 0.28.0.

• Update gungraun-runner@latest to 0.20.0.

• Update cargo-tarpaulin@latest to 0.37.5.

• Update cargo-leptos@latest to 0.3.10.

• Update cargo-binstall@latest to 1.24.0.

[2.87.21] - 2026-09-26

• Update wasm-bindgen@latest to 0.2.129.

• Update protoc-gen-connect-openapi@latest to 0.27.3.

• Update wasmtime@latest to 49.0.1.

• Update uv@latest to 0.12.19.

• Update mise@latest to 2026.9.13.

• Update kingfisher@latest to 2.7.0.

[2.87.20] - 2026-09-24

• Update uv@latest to 0.12.18.

• Update cargo-shear@latest to 1.14.0.

[2.87.19] - 2026-09-23

• Update wasmtime@latest to 49.0.0.

• Update cargo-shear@latest to 1.13.5.

• Update cargo-nextest@latest to 0.9.146.

Commits

• 83ac0ad Release 2.87.22
• 33ae788 Update kache@latest to 0.28.0
• fe1dc90 Update uv manifest
• ab1690b Update typos@latest to 1.50.3
• e8f3088 Update tombi@latest to 1.5.8
• 5016a80 Update prek@latest to 0.5.4
• 71fcea0 Update mise@latest to 2026.9.16
• 194a943 Update kache@latest to 0.27.0
• a681fbe Update gungraun-runner@latest to 0.20.0
• 8422291 Update cargo-tarpaulin@latest to 0.37.5
• Additional commits viewable in compare view

Updates hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml from 5ee25658c9f3ef54beaa911e77fbb0c823b358fc to acdb9821a67fe0a275b39f1b388be364df7fbd4a

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

... (truncated)

Commits

• acdb982 docs: add Signed commits section to CONTRIBUTING (#210)
• 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

[coderabbitai]

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: 7d8d2f7c-eb47-4fc5-ba6c-c6d4a8a1b522

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

• Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Autopilot is currently an internal CodeRabbit preview.

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}