ci(coq): unpin coq-interval, which required a Coq the image does not …

549f6a6

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Sign in for the full log view

NotebookLM Gate on: push

🔒 NotebookLM notebook required

Coq Proofs Validation on: push 2

compile-proofs

GitGuardian

GitGuardian Security Checks

Issue Gate on: pull_request_target

check-linked-issue

Schema Validation on: pull_request 1

validate

Documented Commands on: pull_request 1

Documented t27c subcommands exist

Coq Proofs Validation on: pull_request 2

compile-proofs

NotebookLM Gate on: pull_request

🔒 NotebookLM notebook required

Orphaned modules on: pull_request 1

Every source file is reachable from its crate root

Corpus Ratchet on: pull_request 1

Corpus ratchet (expected-failure ledger)

Gate Topology on: pull_request

gate-topology

secret-scan on: pull_request

scan

NOW Sync Gate on: pull_request

check-now-freshness

Conflict Markers on: pull_request 1

Conflict markers (no unresolved merges)

Check Now Freshness on: pull_request

check

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

Harness scratch directories on: pull_request 1

No test binary shares one scratch directory

Damage Negatives on: pull_request 1

Damage negatives (false-positive fixtures)

L1 TRACEABILITY Check on: pull_request

Check L1 TRACEABILITY

L1 Traceability Summary

Seal Coverage on: pull_request 1

coverage

Withdrawn Number Gate on: pull_request 1

withdrawn-live

PHI Loop CI on: pull_request

phi-loop-check

Untrusted Input Gate on: pull_request

untrusted-input

cli-tri on: pull_request 3

build

PR Dashboard on: pull_request

pr-dashboard

Verilog Widths on: pull_request 1

Verilog widths (absurd-width ledger)

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

🔒 NotebookLM notebook required

succeeded Sep 5, 2026 in 7s

Loading

Re-running jobs...