d-flex flex-column width-full">

ci: run container jobs as root for checkout@v6 EACCES fix

3674add

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

Coq kernel on: push 1

build

Coq Proofs Validation on: push 2

compile-proofs

NotebookLM Gate on: push

🔒 NotebookLM notebook required

conformance-integrity-gate on: push 1

integrity-gate

Issue Gate on: pull_request_target

check-linked-issue

secret-scan on: pull_request

scan

Coq kernel on: pull_request 1

build

Check Now Freshness on: pull_request

check

NOW Sync Gate on: pull_request

check-now-freshness

NotebookLM Gate on: pull_request

🔒 NotebookLM notebook required

PHI Loop CI on: pull_request

phi-loop-check

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

PR Dashboard on: pull_request

pr-dashboard

L1 TRACEABILITY Check on: pull_request

Check L1 TRACEABILITY

L1 Traceability Summary

SEAL Coverage on: pull_request

coverage

FPGA E2E Build on: pull_request 3

fpga-smoke

fpga-lint

fpga-synthesis

fpga-synthesis-arty

fpga-formal

fpga-conformance

fpga-bitstream

fpga-report

rings-rust on: pull_request 17

Discover ring-*-rust crates

ring-088-rust

ring-089-rust

ring-090-rust

ring-091-rust

ring-092-rust

ring-093-rust

ring-094-rust

ring-095-rust

ring-096-rust

ring-097-rust

ring-098-rust

ring-099-rust

ring-100-rust

ring-101-rust

ring-102-rust

ring-103-rust

ring-104-rust

Compile gate summary

Validate JSON Schemas on: pull_request

validate

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

Select a check to view from the sidebar