Skip to content

Actions: egraphs-good/egraph-visualizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sort types names for regularity of colors Build and Publish to NPM #40: Commit bfbb329 pushed by saulshanabrook
August 22, 2024 20:05 1m 3s main
main
August 22, 2024 20:05 1m 3s
Remove unused imports Build and Publish to NPM #39: Commit c169803 pushed by saulshanabrook
August 22, 2024 15:58 1m 13s main
main
August 22, 2024 15:58 1m 13s
Try moving filtering to popup Build and Publish to NPM #38: Commit d2d5489 pushed by saulshanabrook
August 22, 2024 15:57 38s main
main
August 22, 2024 15:57 38s
Add homepage as default Build and Publish to NPM #37: Commit ff18e15 pushed by saulshanabrook
August 22, 2024 14:09 1m 6s main
main
August 22, 2024 14:09 1m 6s
Move default to file Build and Publish to NPM #36: Commit 74bc0d4 pushed by saulshanabrook
August 21, 2024 22:13 1m 6s main
main
August 21, 2024 22:13 1m 6s
Fix missing children Build and Publish to NPM #35: Commit 58ac144 pushed by saulshanabrook
August 21, 2024 22:05 29s main
main
August 21, 2024 22:05 29s
Reset state properly Build and Publish to NPM #34: Commit feabb26 pushed by saulshanabrook
August 21, 2024 22:00 29s main
main
August 21, 2024 22:00 29s
Add progress Build and Publish to NPM #33: Commit bfe6288 pushed by saulshanabrook
August 21, 2024 21:58 33s main
main
August 21, 2024 21:58 33s
Use ELK webworker Build and Publish to NPM #32: Commit c17c82d pushed by saulshanabrook
August 21, 2024 21:51 1m 2s main
main
August 21, 2024 21:51 1m 2s
Create LICENSE Build and Publish to NPM #31: Commit b69bdcd pushed by saulshanabrook
August 21, 2024 21:43 1m 8s main
main
August 21, 2024 21:43 1m 8s
Try deploying to github pages Build and Publish to NPM #30: Commit 4f3bb52 pushed by saulshanabrook
August 21, 2024 21:40 1m 6s main
main
August 21, 2024 21:40 1m 6s
Add example dropdown Build and Publish to NPM #29: Commit f52fade pushed by saulshanabrook
August 21, 2024 21:13 41s main
main
August 21, 2024 21:13 41s
Use custom edges Build and Publish to NPM #28: Commit 5e5301e pushed by saulshanabrook
August 21, 2024 20:30 34s main
main
August 21, 2024 20:30 34s
Fix anywidget Build and Publish to NPM #27: Commit c30131f pushed by saulshanabrook
August 20, 2024 18:21 42s 0.1.4
0.1.4
August 20, 2024 18:21 42s
Fix anywidget Build and Publish to NPM #26: Commit c30131f pushed by saulshanabrook
August 20, 2024 18:21 34s main
main
August 20, 2024 18:21 34s
Fix port spacing Build and Publish to NPM #25: Commit 002f3ef pushed by saulshanabrook
August 20, 2024 17:05 27s main
main
August 20, 2024 17:05 27s
Fix layout slightly Build and Publish to NPM #24: Commit 30227e5 pushed by saulshanabrook
August 19, 2024 21:32 39s main
main
August 19, 2024 21:32 39s
Make transformations more type safe Build and Publish to NPM #23: Commit f235096 pushed by saulshanabrook
August 19, 2024 21:02 50s main
main
August 19, 2024 21:02 50s
Use different colors per node type Build and Publish to NPM #22: Commit d8985a2 pushed by saulshanabrook
August 19, 2024 20:33 33s main
main
August 19, 2024 20:33 33s
Measure text based on element Build and Publish to NPM #21: Commit d1953d1 pushed by saulshanabrook
August 19, 2024 19:39 32s main
main
August 19, 2024 19:39 32s
Start trying to calculate node size based on contents Build and Publish to NPM #20: Commit 23f6e1c pushed by saulshanabrook
August 18, 2024 23:56 29s main
main
August 18, 2024 23:56 29s
Add bigger example Build and Publish to NPM #19: Commit 312cc14 pushed by saulshanabrook
August 18, 2024 23:02 30s main
main
August 18, 2024 23:02 30s
Start making width/height right... Build and Publish to NPM #18: Commit c295f3c pushed by saulshanabrook
August 18, 2024 22:54 29s main
main
August 18, 2024 22:54 29s
First "working" version, at least rendering nodes/edges properly Build and Publish to NPM #17: Commit d852634 pushed by saulshanabrook
August 16, 2024 23:42 29s main
main
August 16, 2024 23:42 29s
Fix process is not defined Build and Publish to NPM #16: Commit 6c03e92 pushed by saulshanabrook
August 15, 2024 22:49 27s 0.1.3
0.1.3
August 15, 2024 22:49 27s