Skip to content

Actions: Arithmon/K7-Lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,072 workflow runs
2,072 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
proof: review the spectral literature package statement by statement … Blueprint #534: Commit 0a1252c pushed by gift-framework
12m 6s main
main
12m 6s
proof: review the spectral literature package statement by statement … Consistency Check #97: Commit 0a1252c pushed by gift-framework
11s main
main
11s
proof: review the spectral literature package statement by statement … Formal Verification #749: Commit 0a1252c pushed by gift-framework
2m 9s main
main
2m 9s
Review the spectral literature package statement by statement (lot 2) Blueprint #533: Pull request #164 opened by gift-framework
16m 46s claude/k7-lot-2-literature-package
claude/k7-lot-2-literature-package
16m 46s
Review the spectral literature package statement by statement (lot 2) Formal Verification #748: Pull request #164 opened by gift-framework
2m 23s claude/k7-lot-2-literature-package
claude/k7-lot-2-literature-package
2m 23s
Review the spectral literature package statement by statement (lot 2) Consistency Check #96: Pull request #164 opened by gift-framework
12s claude/k7-lot-2-literature-package
claude/k7-lot-2-literature-package
12s
Codex/k7 lots 0 1 2026 09 08 (#163) Formal Verification #747: Commit 86b8db4 pushed by gift-framework
3m 2s main
main
3m 2s
Codex/k7 lots 0 1 2026 09 08 (#163) Blueprint #532: Commit 86b8db4 pushed by gift-framework
12m 33s main
main
12m 33s
Codex/k7 lots 0 1 2026 09 08 (#163) Consistency Check #95: Commit 86b8db4 pushed by gift-framework
13s main
main
13s
Codex/k7 lots 0 1 2026 09 08 Consistency Check #94: Pull request #163 opened by gift-framework
12s codex/k7-lots-0-1-2026-09-08
codex/k7-lots-0-1-2026-09-08
12s
Codex/k7 lots 0 1 2026 09 08 Blueprint #531: Pull request #163 opened by gift-framework
11m 47s codex/k7-lots-0-1-2026-09-08
codex/k7-lots-0-1-2026-09-08
11m 47s
Codex/k7 lots 0 1 2026 09 08 Formal Verification #746: Pull request #163 opened by gift-framework
2m 37s codex/k7-lots-0-1-2026-09-08
codex/k7-lots-0-1-2026-09-08
2m 37s
Modernize Lean and clarify the scope of the formal results (#162) Formal Verification #745: Commit 528e4aa pushed by gift-framework
8m 43s main
main
8m 43s
Modernize Lean and clarify the scope of the formal results (#162) Consistency Check #93: Commit 528e4aa pushed by gift-framework
12s main
main
12s
Modernize Lean and clarify the scope of the formal results (#162) Blueprint #530: Commit 528e4aa pushed by gift-framework
11m 45s main
main
11m 45s
Modernize Lean and clarify the scope of the formal results Formal Verification #744: Pull request #162 synchronize by gift-framework
8m 27s codex/lean-modernization
codex/lean-modernization
8m 27s
Modernize Lean and clarify the scope of the formal results Consistency Check #92: Pull request #162 synchronize by gift-framework
13s codex/lean-modernization
codex/lean-modernization
13s
Modernize Lean and clarify the scope of the formal results Blueprint #529: Pull request #162 synchronize by gift-framework
11m 45s codex/lean-modernization
codex/lean-modernization
11m 45s
AxiomAudit: annotate counters as Nat (Lean 4.33 m! elaboration) Formal Verification #743: Commit 50b0b4b pushed by gift-framework
7m 52s codex/lean-modernization
codex/lean-modernization
7m 52s
Modernize Lean and clarify the scope of the formal results Consistency Check #91: Pull request #162 synchronize by gift-framework
9s codex/lean-modernization
codex/lean-modernization
9s
Modernize Lean and clarify the scope of the formal results Formal Verification #742: Pull request #162 synchronize by gift-framework
7m 16s codex/lean-modernization
codex/lean-modernization
7m 16s
Modernize Lean and clarify the scope of the formal results Blueprint #528: Pull request #162 synchronize by gift-framework
9m 37s codex/lean-modernization
codex/lean-modernization
9m 37s
Fix Lean 4.33 build: reducible Betti numbers, simp-free Hodge star li… Formal Verification #741: Commit ce2424c pushed by gift-framework
7m 11s codex/lean-modernization
codex/lean-modernization
7m 11s
Modernize Lean and clarify the scope of the formal results Blueprint #527: Pull request #162 synchronize by gift-framework
12m 48s codex/lean-modernization
codex/lean-modernization
12m 48s
Modernize Lean and clarify the scope of the formal results Formal Verification #740: Pull request #162 synchronize by gift-framework
7m 17s codex/lean-modernization
codex/lean-modernization
7m 17s