Nightly Testing

REDIRECT — Lean/Mathlib nightly testing infrastructure notes (branches, tags, Zulip, mathlib4-nightly-testing fork) have been demoted to `references/upstream/lean-nightly-infrastructure.md`. This stub preserves the slug for Ctrl-F discoverability and incoming cross-references (per the zero-deletions Chesterton protocol).

r-irbe 89465fa 1.7 KB Updated

File contents

r-irbe/proof-skills/tree/main/skills/_overrides/nightly-testing commit 89465fafef

Frequently asked questions

npx skillmds@latest add r-irbe/nightly-testing