agentsclimarketplace
Sign in

Nightly testing

Skill r-irbe/proof-skills/skills/_overrides/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).From its SKILL.md

Install
npx -y skills add r-irbe/proof-skills --skill nightly-testing

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

One thing to look at

  • 2 stars2 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

SKILL.md

1.7 KB, 331 tokens by cl100k_base, as published. Nobody here has run it

SK-34: Lean / Mathlib Nightly Testing (REDIRECT)

This skill no longer hosts content. The nightly-testing infrastructure notes have been moved to a reference because they are a "go-read-this-URL" document with no workflow, triggers, or callers (verified zero callers across skills/ and references/ excluding lean-gateway/REFERENCE.md which keeps it as a registry row).

Old sectionNew home
Overview + mathlib4-nightly-testing fork explanationreferences/upstream/lean-nightly-infrastructure.md §Overview
Key branches (nightly-testing, nightly-with-mathlib, bump/v4.X.Y, lean-pr-testing-NNNN)Same reference §Key branches
Zulip channelSame reference §Zulip
Canonical reference URLSame reference §Canonical reference

Existing inbound links to "SK-34 / nightly-testing" should resolve here and then follow the table above. Do not add new content to this file — author it in references/upstream/lean-nightly-infrastructure.md instead.

See also

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.

Keep looking

Skills are one crate of 326,834. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.