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

49bcf78

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

coderabbitai

CodeRabbit

GitGuardian

GitGuardian Security Checks

Semgrep Code - hyperpolymath

semgrep-cloud-platform/scan

SonarQubeCloud

SonarCloud Code Analysis

.github/workflows/secret-scanner.yml on: pull_request 1

.github/workflows/governance.yml on: pull_request 1

.github/workflows/hypatia-scan.yml on: pull_request 1

CodeQL Security Analysis on: pull_request 1

analyze (javascript-typescript, none)

C5.1 Fixture Regenerate on: pull_request 2

Regenerate C5.1 fixtures and diff

Static Analysis Gate on: pull_request 21

panic-attack assail

Hypatia neurosymbolic scan

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

Cargo Audit on: pull_request 1

Cargo audit (RustSec advisories)

Dogfood Gate on: pull_request 21

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

Contract Gate on: pull_request 2

Layering contract (I1 + I3)

Grade kernel (one min-plus, one max-plus)

Grade kernel proofs (Idris2 0.8.0 + Agda)

E2E Validation on: pull_request 10

Structural E2E (no-build)

Smoke test (Node.js AffineScript parser)

Build + E2E (Idris2 + Zig)

Cargo build + test (typed-wasm-verify)

Code scanning results

CodeQL