ci(proofs): weekly cron gating the Isabelle + Mizar self-proof corpora#277

Merged

hyperpolymath merged 21 commits into

mainfrom

claude/loving-cannon-AtUSm

Jun 21, 2026

Commits on Jun 5, 2026

Commits on Jun 21, 2026

merge: bring loving-cannon up to origin/main (absorb merged #256-#274)
claude
committed
ci(proofs): gate Lean 4 verification corpus (verification/proofs/lean4)
claude
committed
ci(proofs): gate the Idris2 verification corpus (verification/proofs/idris2)
claude
committed
merge: sync loving-cannon with main (absorb #275 Lean gate squash)
claude
committed
merge: sync loving-cannon with main (absorb #276 Idris2 gate squash)
claude
committed
ci(proofs): weekly cron gating the Isabelle + Mizar self-proof corpora
claude
committed
ci(proofs): add path-filtered pull_request trigger to verification cron
claude
committed
ci(proofs): discover Isabelle/Mizar download URLs at runtime
claude
committed
ci(proofs): fix GroupTheory import + Mizar two-stage discovery
claude
committed
ci(proofs): gate base-HOL Isabelle only; fix Mizar binary PATH
claude
committed