Skip to content

Actions: saulshanabrook/egglog-encoding

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
300 workflow runs
300 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
Share one table per sort for eq-sort globals; account for time outside rule-set execution Build #300: Pull request #47 synchronize by oflatt-claude
6m 31s oflatt-claude:phase-timers-probe
oflatt-claude:phase-timers-probe
6m 31s
Remove DD and the pluggable backend interface Build #299: Pull request #60 opened by saulshanabrook
4m 54s codex/remove-dd-benchmark-backends
codex/remove-dd-benchmark-backends
4m 54s
Merge pull request #45 from oflatt-claude/upstream-merge Build #298: Commit bd4752e pushed by saulshanabrook
5m 23s main
main
5m 23s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #297: Pull request #58 synchronize by oflatt-claude
6m 8s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 8s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #296: Pull request #58 synchronize by oflatt-claude
6m 11s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 11s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #295: Pull request #58 synchronize by oflatt-claude
4m 45s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
4m 45s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #294: Pull request #58 synchronize by oflatt-claude
6m 12s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 12s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #293: Pull request #58 synchronize by oflatt-claude
6m 13s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 13s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #292: Pull request #58 synchronize by oflatt-claude
6m 3s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 3s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #291: Pull request #58 synchronize by oflatt-claude
6m 11s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 11s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #290: Pull request #58 synchronize by oflatt-claude
6m 22s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 22s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #289: Pull request #58 synchronize by oflatt-claude
6m 9s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 9s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #288: Pull request #58 synchronize by oflatt-claude
5m 21s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
5m 21s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #287: Pull request #58 synchronize by oflatt-claude
6m 26s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 26s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #286: Pull request #58 synchronize by oflatt-claude
6m 30s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 30s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #285: Pull request #58 synchronize by oflatt-claude
5m 53s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
5m 53s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #284: Pull request #58 synchronize by oflatt-claude
6m 35s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 35s
Lean 4 model of egglog semantics and a differentially-tested reference implementation Build #283: Pull request #58 opened by oflatt-claude
6m 11s oflatt-claude:lean-model-fidelity
oflatt-claude:lean-model-fidelity
6m 11s
WIP lean egglog semantics Build #282: Pull request #57 synchronize by oflatt
4m 52s oflatt-lean-reference
oflatt-lean-reference
4m 52s
WIP lean egglog semantics Build #281: Pull request #57 synchronize by oflatt
6m 47s oflatt-lean-reference
oflatt-lean-reference
6m 47s
WIP lean egglog semantics Build #280: Pull request #57 synchronize by oflatt
4m 19s oflatt-lean-reference
oflatt-lean-reference
4m 19s
WIP lean egglog semantics Build #279: Pull request #57 synchronize by oflatt
4m 58s oflatt-lean-reference
oflatt-lean-reference
4m 58s
Merge upstream egglog: 41 commits, and it is faster everywhere Build #278: Pull request #45 synchronize by oflatt-claude
4m 23s oflatt-claude:upstream-merge
oflatt-claude:upstream-merge
4m 23s
WIP lean egglog semantics Build #277: Pull request #57 opened by oflatt
6m 0s oflatt-lean-reference
oflatt-lean-reference
6m 0s
Merge upstream egglog: 41 commits, and it is faster everywhere Build #276: Pull request #45 synchronize by oflatt-claude
6m 42s oflatt-claude:upstream-merge
oflatt-claude:upstream-merge
6m 42s