All workflows

Workflow runs

• blueprints

  failed:
  blueprints#1:Manually runbyCBirkbeck
  main

  Jun 24, 20261h 28m 7s
  More actions for workflow run 1

• cleanup: golf summable_prod_of_norm_coeff_le_linear (#5) (#264)

  failed:
  Blueprint Pages#17:Commit180876fpushedbyCBirkbeck
  main

  Jun 17, 202613s
  More actions for workflow run 17

• cleanup: golf summable_prod_of_norm_coeff_le_linear (#5)

  failed:
  Blueprint Pages#16:Pull request#264openedbyCBirkbeck
  cleanup/5

  Jun 17, 202619s
  More actions for workflow run 16

• cleanup lane: whole-FILE tickets (golf many lemmas per ticket)

  failed:
  Blueprint Pages#15:Commita6f92bepushedbyCBirkbeck
  main

  Jun 17, 202620s
  More actions for workflow run 15

• Worker prompts: self-schedule — each worker CronCreates its own 30-mi…

  failed:
  Blueprint Pages#14:Commit1c40655pushedbyCBirkbeck
  main

  Jun 17, 202611s
  More actions for workflow run 14

• Worker prompts: prefix git/gh-merge with LEAN4_GUARDRAILS_BYPASS=1 (f…

  failed:
  Blueprint Pages#13:Commit8e5b056pushedbyCBirkbeck
  main

  Jun 17, 202620s
  More actions for workflow run 13

• cleanup: golf padicLog_mul_of_norm_lt_one (#1) (#4)

  failed:
  Blueprint Pages#12:Commit172515cpushedbyCBirkbeck
  main

  Jun 17, 202620s
  More actions for workflow run 12

• cleanup: golf padicLog_mul_of_norm_lt_one (#1)

  failed:
  Blueprint Pages#11:Pull request#4openedbyCBirkbeck
  cleanup/1

  Jun 17, 202611s
  More actions for workflow run 11

• Worker protocol: the fleet never works on sorries (producer WIP)

  failed:
  Blueprint Pages#10:Commit16f3d4fpushedbyCBirkbeck
  main

  Jun 17, 202619s
  More actions for workflow run 10

• Worker system: GitHub-issue ticket protocol, spec, + 3 lane cron prompts

  failed:
  Blueprint Pages#9:Commitd716e25pushedbyCBirkbeck
  main

  Jun 16, 202610s
  More actions for workflow run 9

• build-blueprints.sh: wire padic's real Verso render (side-build -> ht…

  failed:
  Blueprint Pages#8:Commit22682b0pushedbyCBirkbeck
  main

  Jun 16, 202622s
  More actions for workflow run 8

• Blueprint render+publish pipeline scaffold: multi-blueprint site (sub…

  failed:
  Blueprint Pages#7:Commit391bd1dpushedbyCBirkbeck
  main

  Jun 16, 202622s
  More actions for workflow run 7

• CLAUDE.md: per-project context + dev tickets (.mathlib-quality) on de…

  failed:
  Blueprint Pages#6:Commit97300edpushedbyCBirkbeck
  main

  Jun 15, 202619s
  More actions for workflow run 6

• CLAUDE.md: same-machine workflow = git worktrees (one clone, branch p…

  failed:
  Blueprint Pages#5:Commitfc38cecpushedbyCBirkbeck
  main

  Jun 15, 202618s
  More actions for workflow run 5

• Add CLAUDE.md: AI-session working rules (producer/cleaner/bump roles,…

  failed:
  Blueprint Pages#4:Commit77f6e2apushedbyCBirkbeck
  main

  Jun 15, 202621s
  More actions for workflow run 4

• feat(blueprint): per-result TOC subsections (416 ## headings) — navig…

  failed:
  Blueprint Pages#3:Commit58302e3pushedbyCBirkbeck
  main

  Jun 9, 202614s
  More actions for workflow run 3

• build: bump to Lean v4.30.0 final + latest verso-blueprint (auto-deps)

  failed:
  Blueprint Pages#2:Commitdcd5717pushedbyCBirkbeck
  main

  Jun 9, 202612s
  More actions for workflow run 2

• feat(phase1): sources manifest

  failed:
  Blueprint Pages#1:Commit7c99aa8pushedbyCBirkbeck
  main

  Jun 9, 202611s
  More actions for workflow run 1