ci(kernel-proofs): match the whole Agda version line

af65bba

Select commit

Loading

Failed to load commit list.

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

GitGuardian

GitGuardian Security Checks

Semgrep Code - hyperpolymath

semgrep-cloud-platform/scan

SonarQubeCloud

SonarCloud Code Analysis

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

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

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

Dogfood Gate on: pull_request 21

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

CodeQL Security Analysis on: pull_request 1

analyze (javascript-typescript, none)

Cargo Audit on: pull_request 1

Cargo audit (RustSec advisories)

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)

Static Analysis Gate on: pull_request 21

panic-attack assail

Hypatia neurosymbolic scan

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

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)

Code scanning results

CodeQL