Skip to content

Actions: egraphs-good/egglog-experimental

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
499 workflow runs
499 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
Typed Rust explicit installation, shared programs, and recording Build #602: Pull request #76 opened by saulshanabrook
6m 14s codex/shared-program-ir
codex/shared-program-ir
6m 14s
Adapt experimental to shared-program core for Python integration Build #601: Pull request #75 opened by saulshanabrook
4m 10s codex/shared-program-ir-compat
codex/shared-program-ir-compat
4m 10s
Support explicit typed installation and shared program export Build #600: Commit d68e910 pushed by saulshanabrook
5m 1s codex/shared-program-ir
codex/shared-program-ir
5m 1s
Adapt current experimental to shared-program core Build #599: Commit 0541649 pushed by saulshanabrook
3m 6s codex/shared-program-ir-compat
codex/shared-program-ir-compat
3m 6s
Add typed Rust authoring and lossless frozen observations Build #598: Commit ab9915c pushed by saulshanabrook
5m 30s codex/typed-rust-api
codex/typed-rust-api
5m 30s
Named arguments and ... notation Build #597: Pull request #57 synchronize by oflatt
2m 39s oflatt-named-args
oflatt-named-args
2m 39s
Merge pull request #73 from oflatt-claude/named-args-merge-main Build #596: Commit d3255ef pushed by oflatt
51s oflatt-named-args
oflatt-named-args
51s
Merge main, and address the second review Build #595: Pull request #73 opened by oflatt-claude
53s oflatt-claude:named-args-merge-main
oflatt-claude:named-args-merge-main
53s
Merge pull request #72 from oflatt-claude/named-args-review Build #594: Commit 9749ea5 pushed by oflatt
48s oflatt-named-args
oflatt-named-args
48s
Address review: expand named arguments during command macros Build #593: Pull request #72 opened by oflatt-claude
43s oflatt-claude:named-args-review
oflatt-claude:named-args-review
43s
Merge pull request #60 from oflatt-claude/unstable-subst Build #592: Commit b14ef1d pushed by oflatt
50s main
main
50s
Named arguments and ... notation Build #591: Pull request #57 synchronize by oflatt
53s oflatt-named-args
oflatt-named-args
53s
Satisfy the crate's lints after the merge Build #590: Commit 086c95e pushed by oflatt
51s oflatt-named-args
oflatt-named-args
51s
Merge pull request #71 from egraphs-good/codex/update-egglog-pin Build #589: Commit 17c3586 pushed by oflatt
1m 20s main
main
1m 20s
unstable-subst: substitution over a reachable sub-e-graph Build #588: Pull request #60 synchronize by oflatt-claude
1m 34s oflatt-claude:unstable-subst
oflatt-claude:unstable-subst
1m 34s
Pin egglog to upstream subsumption fix Build #587: Pull request #71 opened by saulshanabrook
1m 30s codex/update-egglog-pin
codex/update-egglog-pin
1m 30s
Pin egglog to upstream subsumption fix Build #586: Commit 3d35f37 pushed by saulshanabrook
1m 35s codex/update-egglog-pin
codex/update-egglog-pin
1m 35s
Merge pull request #67 from egraphs-good/codex/pr414-param-eq-primitives Build #585: Commit 2dd19e5 pushed by saulshanabrook
2m 7s main
main
2m 7s
Add Param-Eq primitives and expose structured extraction results Build #584: Pull request #67 synchronize by saulshanabrook
48s codex/pr414-param-eq-primitives
codex/pr414-param-eq-primitives
48s
Use core Xor for exact signatures Build #583: Commit 8b50390 pushed by saulshanabrook
50s codex/pr414-param-eq-primitives
codex/pr414-param-eq-primitives
50s
Add Param-Eq primitives and expose structured extraction results Build #582: Pull request #67 synchronize by saulshanabrook
47s codex/pr414-param-eq-primitives
codex/pr414-param-eq-primitives
47s
Document higher-order primitive constraints Build #581: Commit d99f5e4 pushed by saulshanabrook
2m 5s codex/pr414-param-eq-primitives
codex/pr414-param-eq-primitives
2m 5s
unstable-subst: substitution over a reachable sub-e-graph Build #580: Pull request #60 synchronize by oflatt-claude
2m 10s oflatt-claude:unstable-subst
oflatt-claude:unstable-subst
2m 10s
Add Param-Eq primitives and expose structured extraction results Build #579: Pull request #67 synchronize by saulshanabrook
2m 0s codex/pr414-param-eq-primitives
codex/pr414-param-eq-primitives
2m 0s
Defer rational and dynamic cost hardening Build #578: Commit 5449a5a pushed by saulshanabrook
46s codex/pr414-param-eq-primitives
codex/pr414-param-eq-primitives
46s