Skip to content

Actions: Arrow7000/fhm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 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
Scope fixed captures over member counts Lean Action CI #45: Commit d96e114 pushed by Arrow7000
1m 53s dm-erased
dm-erased
1m 53s
Open group checking over nested RHS traversal Lean Action CI #44: Commit f7c2604 pushed by Arrow7000
6m 25s dm-erased
dm-erased
6m 25s
Lean Action CI Lean Action CI #43: by Arrow7000
3m 47s wip-fused-rule-restore
wip-fused-rule-restore
3m 47s
Memoize the SCC successor table; share recomputed contexts in inferCore. Lean Action CI #42: Commit bb4f15d pushed by Arrow7000
5m 7s binary-size-experiment
binary-size-experiment
5m 7s
docs(bl): synth/check demos and brief update for Check Lean Action CI #41: Commit e80b987 pushed by Arrow7000
6m 41s bl-problem-taxonomy
bl-problem-taxonomy
6m 41s
Certify finite count instantiation and guard missing annotation scopes Lean Action CI #40: Commit 9866d8c pushed by Arrow7000
6m 7s dm-erased
dm-erased
6m 7s
Memo correction: D4 overstated the ratified decision — elaboration-ou… Lean Action CI #39: Commit 92842ee pushed by Arrow7000
2m 6s dm-erased
dm-erased
2m 6s
Revert "WIP: restore declared-mono opening (consPoly semantics) in Re… Lean Action CI #38: Commit 39ebfd1 pushed by Arrow7000
1m 48s dm-erased
dm-erased
1m 48s
Add glm-flash subagent config + cold-start brief for declared-mono op… Lean Action CI #37: Commit 8c145f6 pushed by Arrow7000
2m 51s dm-erased
dm-erased
2m 51s
Fix spec for annotated-member declared-mono opening (D2 completion); … Lean Action CI #36: Commit c5fad74 pushed by Arrow7000
5m 3s dm-erased
dm-erased
5m 3s
Spike report: blind-tax measured (concentrated in Completeness/InferW… Lean Action CI #35: Commit cd7f9ec pushed by Arrow7000
4m 36s erasure-migration
erasure-migration
4m 36s
Design memo: DM-erased + shadow elaboration + two-layer BL (D1-D10, s… Lean Action CI #34: Commit 7d074ab pushed by Arrow7000
1m 59s main
main
1m 59s
Findings brief: consolidate poly-rec stress + survey results (bug log… Lean Action CI #33: Commit ed332a6 pushed by Arrow7000
2m 24s main
main
2m 24s
Subagent survey: ranked shortlist of suspect type-system features due… Lean Action CI #32: Commit aaed47f pushed by Arrow7000
3m 9s main
main
3m 9s
Poly-recursion .fhm stress suite: hard inner-poly case, mixed groups,… Lean Action CI #31: Commit 4dd9064 pushed by Arrow7000
7m 37s main
main
7m 37s
WIP spine: simplify principals_mut transport (hstep1/hstep2) + extrac… Lean Action CI #30: Commit 7065b63 pushed by Arrow7000
5m 34s erasure-migration
erasure-migration
5m 34s
Prove the SurfaceBridge headline: surface_type_safe and its corollaries Lean Action CI #29: Commit 62b20aa pushed by Arrow7000
6m 55s main
main
6m 55s
Briefs: correct the net-additive line count to ~4.9k (measured: LetRe… Lean Action CI #28: Commit 9746f42 pushed by Arrow7000
8m 37s letrec-promotion
letrec-promotion
8m 37s
Improve diagnose messages for HM mismatches and parse rejects. Lean Action CI #27: Commit 8ad22d9 pushed by Arrow7000
1m 56s main
main
1m 56s
Flesh EscapeClassifies and pin compound scheme domains (T5). Lean Action CI #26: Commit 7519902 pushed by Arrow7000
3m 1s main
main
3m 1s
Totalize Bounds hasHoles and subConstraints? (no partial). Lean Action CI #25: Commit c63af46 pushed by Arrow7000
1m 59s main
main
1m 59s
Document Kosaraju SCC, bounds layer, and grammar export in README. Lean Action CI #24: Commit 98eda6e pushed by Arrow7000
6m 28s main
main
6m 28s
Add type-holes brief with return-pin head-binder lowering. Lean Action CI #23: Commit 37b13b8 pushed by Arrow7000
5m 47s main
main
5m 47s
Quiet success output in the live watch script. Lean Action CI #22: Commit e93d2d8 pushed by Arrow7000
6m 29s main
main
6m 29s
Memoize the binding-successor oracle feeding Kosaraju and Kahn. Lean Action CI #21: Commit f6eae4a pushed by Arrow7000
5m 56s main
main
5m 56s