Skip to content

ci(proofs): weekly schedule so the proof gate re-checks main for drift#257

Merged
hyperpolymath merged 1 commit into
mainfrom
ci/proof-gate-weekly-baseline
Jun 25, 2026
Merged

ci(proofs): weekly schedule so the proof gate re-checks main for drift#257
hyperpolymath merged 1 commit into
mainfrom
ci/proof-gate-weekly-baseline

ci(proofs): add weekly schedule so the proof gate re-checks main

2d7231e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar