Skip to content

Actions: oflatt-claude/egglog

Actions

Deploy Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
68 workflow runs
68 workflow runs

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) Deploy Docs #56: Pull request #8 opened by oflatt-claude
4m 6s disjunction-encoding-uses-or
disjunction-encoding-uses-or
4m 6s
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
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
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
Disjunction (OR): Strategy C — fused union node in the free-join engine Deploy Docs #52: Pull request #6 opened by oflatt-claude
46s disjunction-fused-union-node
disjunction-fused-union-node
46s
Implement OR disjunction via a fused union node in the query planner … Deploy Docs #51: Commit 57dedd4 pushed by oflatt-claude
50s disjunction-fused-union-node
disjunction-fused-union-node
50s
Disjunction (OR): Strategy B — materialized union in the query planner Deploy Docs #50: Pull request #5 opened by oflatt-claude
46s disjunction-planner-materialized
disjunction-planner-materialized
46s
Implement OR disjunction via materialized union in the query planner … Deploy Docs #49: Commit a6fc0a0 pushed by oflatt-claude
1m 1s disjunction-planner-materialized
disjunction-planner-materialized
1m 1s
Base for backend OR disjunction: AST + parser + tests (no execution yet) Deploy Docs #48: Commit d4bddfe pushed by oflatt-claude
45s disjunction-backend-base
disjunction-backend-base
45s
Disjunction Strategy C (backend): native union primitive in core-relations Deploy Docs #47: Pull request #4 opened by oflatt-claude
48s disjunction-core-relations-union
disjunction-core-relations-union
48s
core-relations: native union-of-subqueries primitive Deploy Docs #46: Commit eaf33e4 pushed by oflatt-claude
59s disjunction-core-relations-union
disjunction-core-relations-union
59s
Disjunction (OR): Strategy B — materialized union Deploy Docs #45: Pull request #3 opened by oflatt-claude
47s disjunction-materialized
disjunction-materialized
47s
Implement OR disjunction via materialized union (Strategy B) Deploy Docs #44: Commit 582b64a pushed by oflatt-claude
55s disjunction-materialized
disjunction-materialized
55s