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

b6a2d26

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Codacy Production

Codacy Static Code Analysis

Dogfood Gate on: pull_request 15

Validate A2ML manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Validate eclexiaiser manifest

Dogfooding compliance summary

Provable on: pull_request 2

Idris2 — machine-check ABI proofs

Zig — build + test FFI reference impl

Codegen — golden sample is up to date

Chapel — compile + run golden sample

ABI-FFI Gate on: pull_request

ABI ↔ FFI structural conformance

Zig FFI builds + tests (Zig 0.14.0)

Static Analysis Gate on: pull_request 1

panic-attack assail

Hypatia neurosymbolic scan

Deposit findings for gitbot-fleet

Hypatia Security Scan on: pull_request 1

scan / Hypatia Neurosymbolic Analysis

Governance on: pull_request 6

governance / Check Workflow Staleness

governance / Allowlist Preflight

governance / Language / package anti-pattern policy

governance / Guix packaging policy (Nix retired)

governance / Security policy checks

governance / Code quality + docs

governance / Well-Known (RFC 9116 + RSR)

governance / Workflow security linter

governance / Trusted-base reduction policy

governance / Licence consistency

governance / Exemption ratchet

governance / Debt ratchet

governance / Validate Hypatia Baseline

Secret Scanner on: pull_request

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Rust CI on: pull_request

rust-ci / Detect Cargo.toml

rust-ci / Cargo check + clippy + fmt

rust-ci / Cargo audit (security)

rust-ci / llvm-cov line coverage

rust-ci / Cargo test

CodeQL Security Analysis on: pull_request 1

Code scanning results

Hypatia

Select a check to view from the sidebar