d-flex flex-column width-full">

chore(deps): bump actions/checkout in the actions group

5e2e497

Select commit

Loading

Failed to load commit list.

Uh oh!

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

SonarQubeCloud

SonarCloud Code Analysis

container-stack smoke build on: push 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

svalinn AffineScript build on: pull_request 1

compile svalinn .affine -> wasm

container-stack smoke build on: pull_request 9

smoke build (vordr)

smoke build (svalinn)

smoke build (rokur)

smoke build (selur)

smoke build (cerro-torre)

CodeQL Security Analysis on: pull_request

analyze (javascript-typescript, none)

Formal Verification (cerro-torre) on: pull_request

Idris2 proofs (cerro-torre.ipkg)

SPARK proof (gnatprove --level=2)

Dogfood Gate on: pull_request 11

Validate A2ML manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

Hypatia Security Scan on: pull_request 3

hypatia / Hypatia Neurosymbolic Analysis

SPARK Theatre Gate on: pull_request

spark-theatre-gate / SPARK Theatre Gate

Governance on: pull_request 5

governance / Validate Hypatia baseline

governance / Language / package anti-pattern policy

governance / Guix primary / Nix fallback policy

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

Secret Scanner on: pull_request 1

scan / trufflehog

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Code scanning results

CodeQL

Hypatia

chore(deps): bump actions/checkout in the actions group

Uh oh!

Select a check to view from the sidebar