Skip to content

Actions: oflatt-claude/egglog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
95 workflow runs
95 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
Review pass: tidy the diff's docs, cover the new API, fix two defects Deploy Docs #68: Commit 5fc5050 pushed by oflatt-claude
33s subst-egraph-introspection
subst-egraph-introspection
33s
Store a function's signature once, everywhere Deploy Docs #67: Commit 491dc53 pushed by oflatt-claude
29s subst-egraph-introspection
subst-egraph-introspection
29s
Share the signature a function decl carries, and say why it carries one Deploy Docs #66: Commit f3e3a85 pushed by oflatt-claude
27s subst-egraph-introspection
subst-egraph-introspection
27s
Let a primitive borrow the e-graph's signatures, instead of locking a… Deploy Docs #65: Commit f910d36 pushed by oflatt-claude
47s subst-egraph-introspection
subst-egraph-introspection
47s
Move unstable-subst out to egglog-experimental, keeping the API it needs Deploy Docs #64: Commit 952145b pushed by oflatt-claude
55s subst-introspection-api
subst-introspection-api
55s
add_primitive: depend on syn with the "full" feature Deploy Docs #63: Commit 2630f5a pushed by oflatt-claude
47s fix/add-primitive-syn-full
fix/add-primitive-syn-full
47s
Potential fix for pull request finding Deploy Docs #62: Commit 41e2e89 pushed by oflatt
29s merge-all-reset-dirty
merge-all-reset-dirty
29s
don't edit changelog Deploy Docs #61: Commit af91b80 pushed by oflatt
56s merge-all-reset-dirty
merge-all-reset-dirty
56s
core-relations: reset only modified tables' indexes in merge_all Deploy Docs #60: Commit ee3a865 pushed by oflatt-claude
41m 37s merge-all-reset-dirty
merge-all-reset-dirty
41m 37s
core-relations: reset only modified tables' indexes in merge_all Deploy Docs #59: Commit 94ae44d pushed by oflatt-claude
44m 8s merge-all-reset-dirty
merge-all-reset-dirty
44m 8s
Register user primitives on the term-encoding typechecker Deploy Docs #58: Commit 4ed4acc pushed by oflatt-claude
52s fix-user-primitives-term-encoding
fix-user-primitives-term-encoding
52s
Make custom schedulers compose with the term/proof encoding Deploy Docs #57: Commit f3aeb35 pushed by oflatt-claude
41s term-encoding-scheduler-maintenance
term-encoding-scheduler-maintenance
41s
Term encoding: rebuild via correlated OR (leverages #7) Git size budget #9: Pull request #8 opened by oflatt-claude
3m 33s disjunction-encoding-uses-or
disjunction-encoding-uses-or
3m 33s
Term encoding: rebuild via correlated OR (leverages #7) Deploy Docs #56: Pull request #8 opened by oflatt-claude
4m 6s disjunction-encoding-uses-or
disjunction-encoding-uses-or
4m 6s
Term encoding: rebuild via correlated OR (leverages #7) Build #18: Pull request #8 opened by oflatt-claude
12m 29s disjunction-encoding-uses-or
disjunction-encoding-uses-or
12m 29s
Term encoding rebuilds via correlated OR Deploy Docs #55: Commit 89ea3e4 pushed by oflatt-claude
50s disjunction-encoding-uses-or
disjunction-encoding-uses-or
50s
Disjunction (OR): Strategy C — fused union node in the free-join engine Build #17: Issue comment #6 (comment) created by oflatt-claude
1s
1s
Disjunction (OR): Strategy B — materialized union in the query planner Build #16: Issue comment #5 (comment) created by oflatt-claude
1s
1s
Disjunction (OR) in rule bodies Build #15: Issue comment #2 (comment) created by oflatt-claude
10s
10s
Add OR (disjunction) to rule bodies Build #14: Issue comment #7 (comment) created by oflatt-claude
2s
2s
Add OR (disjunction) to rule bodies Build #13: Issue comment #7 (comment) created by oflatt-claude
1s
1s
Add OR (disjunction) to rule bodies Deploy Docs #54: Pull request #7 opened by oflatt-claude
4m 4s disjunction-seminaive-union
disjunction-seminaive-union
4m 4s
Add OR (disjunction) to rule bodies Build #12: Pull request #7 opened by oflatt-claude
14m 50s disjunction-seminaive-union
disjunction-seminaive-union
14m 50s
Add OR (disjunction) to rule bodies Git size budget #8: Pull request #7 opened by oflatt-claude
11s disjunction-seminaive-union
disjunction-seminaive-union
11s
Make the correlated union node seminaive / delta-driven Deploy Docs #53: Commit 752c791 pushed by oflatt-claude
55s disjunction-seminaive-union
disjunction-seminaive-union
55s