Skip to content

Actions: CBirkbeck/AINTLIB

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
blueprints blueprints #1: Manually run by CBirkbeck
1h 28m 7s main
main
1h 28m 7s
cleanup: golf summable_prod_of_norm_coeff_le_linear (#5) (#264) Blueprint Pages #17: Commit 180876f pushed by CBirkbeck
13s main
main
13s
cleanup: golf summable_prod_of_norm_coeff_le_linear (#5) Blueprint Pages #16: Pull request #264 opened by CBirkbeck
19s cleanup/5
cleanup/5
19s
cleanup lane: whole-FILE tickets (golf many lemmas per ticket) Blueprint Pages #15: Commit a6f92be pushed by CBirkbeck
20s main
main
20s
Worker prompts: self-schedule — each worker CronCreates its own 30-mi… Blueprint Pages #14: Commit 1c40655 pushed by CBirkbeck
11s main
main
11s
Worker prompts: prefix git/gh-merge with LEAN4_GUARDRAILS_BYPASS=1 (f… Blueprint Pages #13: Commit 8e5b056 pushed by CBirkbeck
20s main
main
20s
cleanup: golf padicLog_mul_of_norm_lt_one (#1) (#4) Blueprint Pages #12: Commit 172515c pushed by CBirkbeck
20s main
main
20s
cleanup: golf padicLog_mul_of_norm_lt_one (#1) Blueprint Pages #11: Pull request #4 opened by CBirkbeck
11s cleanup/1
cleanup/1
11s
Worker protocol: the fleet never works on sorries (producer WIP) Blueprint Pages #10: Commit 16f3d4f pushed by CBirkbeck
19s main
main
19s
Worker system: GitHub-issue ticket protocol, spec, + 3 lane cron prompts Blueprint Pages #9: Commit d716e25 pushed by CBirkbeck
10s main
main
10s
build-blueprints.sh: wire padic's real Verso render (side-build -> ht… Blueprint Pages #8: Commit 22682b0 pushed by CBirkbeck
22s main
main
22s
Blueprint render+publish pipeline scaffold: multi-blueprint site (sub… Blueprint Pages #7: Commit 391bd1d pushed by CBirkbeck
22s main
main
22s
CLAUDE.md: per-project context + dev tickets (.mathlib-quality) on de… Blueprint Pages #6: Commit 97300ed pushed by CBirkbeck
19s main
main
19s
CLAUDE.md: same-machine workflow = git worktrees (one clone, branch p… Blueprint Pages #5: Commit fc38cec pushed by CBirkbeck
18s main
main
18s
Add CLAUDE.md: AI-session working rules (producer/cleaner/bump roles,… Blueprint Pages #4: Commit 77f6e2a pushed by CBirkbeck
21s main
main
21s
feat(blueprint): per-result TOC subsections (416 ## headings) — navig… Blueprint Pages #3: Commit 58302e3 pushed by CBirkbeck
14s main
main
14s
build: bump to Lean v4.30.0 final + latest verso-blueprint (auto-deps) Blueprint Pages #2: Commit dcd5717 pushed by CBirkbeck
12s main
main
12s
feat(phase1): sources manifest Blueprint Pages #1: Commit 7c99aa8 pushed by CBirkbeck
11s main
main
11s