Skip to content

Actions: egraphs-good/egraph-serialize

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #17 from yihozhang/release-0.2.0 Build #48: Commit f303fe1 pushed by yihozhang
September 28, 2024 23:36 18s v0.2.0
v0.2.0
September 28, 2024 23:36 18s
Merge pull request #17 from yihozhang/release-0.2.0 Build #47: Commit f303fe1 pushed by yihozhang
September 28, 2024 23:32 45s main
main
September 28, 2024 23:32 45s
Prepare v0.2.0 Build #46: Pull request #17 opened by yihozhang
September 13, 2024 01:48 30s yihozhang:release-0.2.0
yihozhang:release-0.2.0
September 13, 2024 01:48 30s
Add support for storing if a node is subsumed (#16) Build #45: Commit 3625e0d pushed by mwillsey
September 12, 2024 16:00 31s main
main
September 12, 2024 16:00 31s
Add support for storing if a node is subsumed Build #44: Pull request #16 synchronize by saulshanabrook
September 12, 2024 15:47 38s saulshanabrook:subsume-data
saulshanabrook:subsume-data
September 12, 2024 15:47 38s
Add support for storing if a node is subsumed Build #43: Pull request #16 opened by saulshanabrook
September 11, 2024 23:02 50s saulshanabrook:subsume-data
saulshanabrook:subsume-data
September 11, 2024 23:02 50s
Add ability to split e-classes for easier visualization (#14) Build #42: Commit 9ce2812 pushed by mwillsey
September 9, 2024 16:03 47s main
main
September 9, 2024 16:03 47s
Add ability to split e-classes for easier visualization Build #41: Pull request #14 synchronize by saulshanabrook
August 15, 2024 13:20 20s saulshanabrook:split-e-classes
saulshanabrook:split-e-classes
August 15, 2024 13:20 20s
Add ability to split e-classes for easier visualization Build #40: Pull request #14 synchronize by saulshanabrook
August 15, 2024 13:05 33s saulshanabrook:split-e-classes
saulshanabrook:split-e-classes
August 15, 2024 13:05 33s
Change graphviz text to be monospace Build #39: Pull request #15 opened by saulshanabrook
August 12, 2024 23:41 40s saulshanabrook:monospace
saulshanabrook:monospace
August 12, 2024 23:41 40s
Add ability to split e-classes for easier visualization Build #38: Pull request #14 synchronize by saulshanabrook
August 8, 2024 15:53 33s saulshanabrook:split-e-classes
saulshanabrook:split-e-classes
August 8, 2024 15:53 33s
Add ability to split e-classes for easier visualization Build #37: Pull request #14 opened by saulshanabrook
August 6, 2024 20:30 34s saulshanabrook:split-e-classes
saulshanabrook:split-e-classes
August 6, 2024 20:30 34s