Skip to content

Actions: lambada-llc/tree-calculus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 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
runner: one-way FIFO ends, so neither side outlives the other test #92: Commit 10fb08c pushed by olydis
1m 17s main
main
1m 17s
dag-machine: test RUNNER_RSS_LIMIT_MB with requests that end test #91: Commit 2632b6d pushed by olydis
1m 17s main
main
1m 17s
lazy: bound the collection budget by the arena test #90: Commit 127992a pushed by olydis
51s main
main
51s
lazy: bound the collection budget by the arena test #89: Pull request #68 synchronize by olydis
1m 3s claude/tc-performance-optimizations-rqtyzl-lazy-budget-ceiling
claude/tc-performance-optimizations-rqtyzl-lazy-budget-ceiling
1m 3s
eager: fail a request that would pass RUNNER_RSS_LIMIT_MB test #88: Pull request #67 synchronize by olydis
1m 14s claude/tc-performance-optimizations-rqtyzl-runner-memory-limit
claude/tc-performance-optimizations-rqtyzl-runner-memory-limit
1m 14s
runner: one-way FIFO ends, so neither side outlives the other test #87: Pull request #66 synchronize by olydis
1m 16s claude/tc-performance-optimizations-rqtyzl-runner-lifetime
claude/tc-performance-optimizations-rqtyzl-runner-lifetime
1m 16s
lazy: bound the collection budget by the arena test #86: Pull request #68 opened by olydis
1m 15s claude/tc-performance-optimizations-rqtyzl-lazy-budget-ceiling
claude/tc-performance-optimizations-rqtyzl-lazy-budget-ceiling
1m 15s
eager: fail a request that would pass RUNNER_RSS_LIMIT_MB test #85: Pull request #67 opened by olydis
1m 12s claude/tc-performance-optimizations-rqtyzl-runner-memory-limit
claude/tc-performance-optimizations-rqtyzl-runner-memory-limit
1m 12s
runner: one-way FIFO ends, so neither side outlives the other test #84: Pull request #66 opened by olydis
1m 12s claude/tc-performance-optimizations-rqtyzl-runner-lifetime
claude/tc-performance-optimizations-rqtyzl-runner-lifetime
1m 12s
dag: drop the REDUCE_STORE/MODULE_STORE exports test #83: Commit b6b016b pushed by olydis
48s main
main
48s
eager: Nat.divmod__fastest as a jet test #82: Pull request #62 synchronize by olydis
1m 12s claude/tc-performance-optimizations-rqtyzl-jet-nat-divmod
claude/tc-performance-optimizations-rqtyzl-jet-nat-divmod
1m 12s
eager: Nat.add and Nat.mul as jets test #81: Pull request #65 opened by olydis
1m 12s claude/tc-performance-optimizations-rqtyzl-jet-nat-add-mul
claude/tc-performance-optimizations-rqtyzl-jet-nat-add-mul
1m 12s
eager: answer Quoted._normalize natively, a jet not yet proven test #80: Pull request #64 opened by olydis
1m 18s claude/tc-performance-optimizations-rqtyzl-jet-quoted-normalize
claude/tc-performance-optimizations-rqtyzl-jet-quoted-normalize
1m 18s
eager: answer Quoted._whnf natively, a jet not yet proven test #79: Pull request #63 opened by olydis
1m 14s claude/tc-performance-optimizations-rqtyzl-jet-whnf
claude/tc-performance-optimizations-rqtyzl-jet-whnf
1m 14s
eager: Nat.divmod__fastest as a jet test #78: Pull request #62 opened by olydis
1m 13s claude/tc-performance-optimizations-rqtyzl-jet-nat-divmod
claude/tc-performance-optimizations-rqtyzl-jet-nat-divmod
1m 13s
dag: drop the REDUCE_STORE/MODULE_STORE exports test #77: Pull request #61 opened by olydis
1m 12s claude/project-thread-f85o5w
claude/project-thread-f85o5w
1m 12s
reduce_canonicalize: reserve the memo and hash-cons maps test #76: Commit b873b56 pushed by olydis
1m 11s main
main
1m 11s
reduce_canonicalize: reserve the memo and hash-cons maps test #75: Pull request #60 opened by olydis
1m 17s claude/tc-performance-optimizations-rqtyzl-reduce-reserve
claude/tc-performance-optimizations-rqtyzl-reduce-reserve
1m 17s
eager: apply out of line test #74: Commit 5679507 pushed by olydis
1m 5s main
main
1m 5s
eager: apply out of line test #73: Pull request #59 synchronize by olydis
51s claude/tc-performance-optimizations-rqtyzl-apply
claude/tc-performance-optimizations-rqtyzl-apply
51s
eager: skip_line as a jet, proven sound test #72: Commit 16dfe07 pushed by olydis
1m 11s main
main
1m 11s
eager: skip_line as a jet, proven sound test #71: Pull request #41 synchronize by olydis
1m 12s claude/tc-performance-optimizations-rqtyzl-jets
claude/tc-performance-optimizations-rqtyzl-jets
1m 12s
eager: apply out of line test #70: Pull request #59 opened by olydis
1m 10s claude/tc-performance-optimizations-rqtyzl-apply
claude/tc-performance-optimizations-rqtyzl-apply
1m 10s
transformer: keep outputs in TREE_CALCULUS_CACHE, beside every other … test #69: Commit 1fafaa4 pushed by olydis
1m 8s main
main
1m 8s
transformer: keep outputs in TREE_CALCULUS_CACHE, beside every other cache test #68: Pull request #58 opened by olydis
1m 12s claude/dag-machine-simplicity-audit-r0jgsx-one-cache
claude/dag-machine-simplicity-audit-r0jgsx-one-cache
1m 12s