fix(ci): restore reachable standards workflow pins

e73b931

Select commit

Loading

Failed to load commit list.

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

GitGuardian

GitGuardian Security Checks

CodeQL Security Analysis on: pull_request

analyze (actions, none)

Proof Gate on: pull_request 1

idris2 --check (ABI proof modules)

E2E + Aspect + Bench on: pull_request 5

E2E — Full Pipeline + Integration

Aspect — Safety Invariants

Bench — Type System Performance

Dogfood Gate on: pull_request 14

Validate A2ML manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Validate eclexiaiser manifest

Dogfooding compliance summary

Dependabot Auto-Merge on: pull_request

automerge

Secret Scanner on: pull_request

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Hypatia Security Scan on: pull_request 1

Rust CI on: pull_request 1

rust-ci / Detect Cargo.toml

rust-ci / Cargo check + clippy + fmt

rust-ci / Cargo audit (security)

rust-ci / Coverage (tarpaulin + codecov)

rust-ci / Cargo test

Governance on: pull_request 1

Code scanning results

CodeQL