d-flex flex-column width-full">

ci(governance): re-bump standards reusable pins d72fe5a -> 4ddc926 (c…

fbc55a9

Select commit

Loading

Failed to load commit list.

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

SonarQubeCloud

SonarCloud Code Analysis

CodeQL Security Analysis on: pull_request 1

analyze (javascript-typescript, none)

Dogfood Gate on: pull_request 6

Validate A2ML manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

container-stack smoke build on: pull_request 9

smoke build (vordr)

smoke build (svalinn)

smoke build (rokur)

smoke build (selur)

smoke build (cerro-torre)

E2E and Property Tests on: pull_request

E2E tests (container lifecycle)

Property tests

Aspect tests

Formal Verification (cerro-torre) on: pull_request

Idris2 proofs (cerro-torre.ipkg)

SPARK proof (gnatprove --level=2)

SPARK Theatre Gate on: pull_request

spark-theatre-gate / SPARK Theatre Gate

Governance on: pull_request 3

governance / Check Workflow Staleness

governance / Validate Hypatia Baseline

Secret Scanner on: pull_request 1

scan / trufflehog

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Hypatia Security Scan on: pull_request 3

scan / Hypatia Neurosymbolic Analysis

Code scanning results

CodeQL