Skip to content

Actions: march-language/march-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 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
Merge pull request #25 from march-language/claude/mirror-choreography… Conformance #52: Commit 751e10b pushed by Ch4s3
28m 17s main
main
28m 17s
docs(findings): verify the choreography fixtures; record the --emit-core-ast verdict drift Conformance #51: Pull request #25 opened by Ch4s3
25m 46s claude/mirror-choreography-fixtures
claude/mirror-choreography-fixtures
25m 46s
Merge pull request #24 from march-language/claude/march-lean-oracle-s… Conformance #50: Commit cecd8a7 pushed by Ch4s3
20m 58s main
main
20m 58s
caps: verify oracle-sync finding, fix main mixed-param-list MISMATCH Conformance #49: Pull request #24 synchronize by Ch4s3
20m 31s claude/march-lean-oracle-sync-30e15a
claude/march-lean-oracle-sync-30e15a
20m 31s
caps: verify oracle-sync finding, fix main mixed-param-list MISMATCH Conformance #48: Pull request #24 opened by Ch4s3
17m 11s claude/march-lean-oracle-sync-30e15a
claude/march-lean-oracle-sync-30e15a
17m 11s
Merge pull request #23 from march-language/claude/calculus-proof-capa… Conformance #47: Commit ae3f471 pushed by Ch4s3
20m 10s main
main
20m 10s
Proof layer for the capability checker (55 theorems) + march main resync Conformance #46: Pull request #23 synchronize by Ch4s3
22m 40s claude/calculus-proof-capabilities-0a1127
claude/calculus-proof-capabilities-0a1127
22m 40s
Proof layer for the capability checker (55 theorems) + march main resync Conformance #45: Pull request #23 synchronize by Ch4s3
23m 17s claude/calculus-proof-capabilities-0a1127
claude/calculus-proof-capabilities-0a1127
23m 17s
Proof layer for the capability checker (55 theorems) + march main resync Conformance #44: Pull request #23 synchronize by Ch4s3
5m 22s claude/calculus-proof-capabilities-0a1127
claude/calculus-proof-capabilities-0a1127
5m 22s
Merge pull request #22 from march-language/claude/keen-jepsen-5df34f Conformance #43: Commit d5b1ab7 pushed by Ch4s3
18m 46s main
main
18m 46s
feat(tailcall): model march's Pass 3 tail-call enforcement Conformance #42: Pull request #22 synchronize by Ch4s3
14m 53s claude/keen-jepsen-5df34f
claude/keen-jepsen-5df34f
14m 53s
feat(tailcall): model march's Pass 3 tail-call enforcement Conformance #41: Pull request #22 opened by Ch4s3
15m 40s claude/keen-jepsen-5df34f
claude/keen-jepsen-5df34f
15m 40s
fix(infer): judge forward references; gate the tail-call false accept it revealed Conformance #40: Pull request #21 opened by Ch4s3
21m 19s claude/mutual-recursion
claude/mutual-recursion
21m 19s
feat: decoder-coverage gate + model Check 6 (a live false accept); MATCH 86→87 Conformance #39: Pull request #20 opened by Ch4s3
23m 23s claude/coverage-and-check6
claude/coverage-and-check6
23m 23s
Merge pull request #19 from march-language/claude/unconsumed-audit Conformance #38: Commit ca087a1 pushed by Ch4s3
18m 38s main
main
18m 38s
audit(decode): 3 false accepts from unconsumed fields; disprove the EAnnot comment Conformance #37: Pull request #19 opened by Ch4s3
17m 46s claude/unconsumed-audit
claude/unconsumed-audit
17m 46s
Merge pull request #18 from march-language/claude/infer-hunt Conformance #36: Commit 85ed7d5 pushed by Ch4s3
18m 39s main
main
18m 39s
fix(infer): return types were never checked — 13 false accepts Conformance #35: Pull request #18 opened by Ch4s3
18m 11s claude/infer-hunt
claude/infer-hunt
18m 11s
Merge pull request #17 from march-language/claude/recover-stack Conformance #34: Commit 72d3cbe pushed by Ch4s3
18m 2s main
main
18m 2s
Land PRs #14-#16: opaque_ coverage, ELet decode fix, println fix, 334-file harness Conformance #33: Pull request #17 opened by Ch4s3
17m 30s claude/recover-stack
claude/recover-stack
17m 30s
fix(infer): println is ∀a. a → () — 8 false rejects; sweep 92 previously-untested corpus files Conformance #32: Pull request #16 opened by Ch4s3
14m 19s claude/show-polymorphic-println
claude/show-polymorphic-println
14m 19s
fix(decode): decodeTerm dropped a trailing ELet's RHS, blinding all four cap walks Conformance #31: Pull request #15 opened by Ch4s3
14m 2s claude/opaque-app-fn
claude/opaque-app-fn
14m 2s
feat(caps): close the coverage gap opened by march#136 — Term.opaque_ over nine AST kinds Conformance #30: Pull request #14 opened by Ch4s3
16m 13s claude/cap-opaque-coverage
claude/cap-opaque-coverage
16m 13s
Merge pull request #13 from march-language/claude/repin-march-baseline Conformance #29: Commit 0ab3d49 pushed by Ch4s3
15m 52s main
main
15m 52s
ci: repin to march 7c1d701c, re-baseline skip ledger at 242 files Conformance #28: Pull request #13 opened by Ch4s3
15m 47s claude/repin-march-baseline
claude/repin-march-baseline
15m 47s