Skip to content

Actions: egraphs-good/egglog

Deploy Web Demo and Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
719 workflow runs
719 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Display build info when running egglog
Deploy Web Demo and Docs #996: Pull request #427 synchronize by yihozhang
September 26, 2024 21:34 1m 45s build-info
September 26, 2024 21:34 1m 45s
oops
Deploy Web Demo and Docs #995: Commit 821cfb5 pushed by yihozhang
September 26, 2024 21:34 1m 51s build-info
September 26, 2024 21:34 1m 51s
Display build info when running egglog
Deploy Web Demo and Docs #994: Pull request #427 synchronize by yihozhang
September 26, 2024 21:30 1m 35s build-info
September 26, 2024 21:30 1m 35s
optional git
Deploy Web Demo and Docs #993: Commit f86182e pushed by yihozhang
September 26, 2024 21:30 1m 36s build-info
September 26, 2024 21:30 1m 36s
Display build info when running egglog
Deploy Web Demo and Docs #992: Pull request #427 opened by yihozhang
September 25, 2024 22:17 2m 15s build-info
September 25, 2024 22:17 2m 15s
nits
Deploy Web Demo and Docs #991: Commit 5bf9dee pushed by yihozhang
September 25, 2024 22:13 1m 36s build-info
September 25, 2024 22:13 1m 36s
get rid of unwanted deps
Deploy Web Demo and Docs #990: Commit 4b5769e pushed by yihozhang
September 25, 2024 22:12 1m 43s build-info
September 25, 2024 22:12 1m 43s
add build info when running egglog
Deploy Web Demo and Docs #989: Commit cab64c5 pushed by yihozhang
September 25, 2024 22:01 2m 5s build-info
September 25, 2024 22:01 2m 5s
Add support for the interactive visualizer
Deploy Web Demo and Docs #988: Pull request #426 opened by saulshanabrook
September 20, 2024 01:16 2m 12s saulshanabrook:interactive-visualizer
September 20, 2024 01:16 2m 12s
Merge pull request #424 from saulshanabrook/serialized-subsume
Deploy Web Demo and Docs #987: Commit 8d9b10e pushed by saulshanabrook
September 18, 2024 17:56 1m 50s main
September 18, 2024 17:56 1m 50s
Prepare for v0.3.0
Deploy Web Demo and Docs #986: Pull request #425 synchronize by yihozhang
September 13, 2024 01:56 1m 50s release-0.3.0
September 13, 2024 01:56 1m 50s
add non-existent link
Deploy Web Demo and Docs #985: Commit 2e1db76 pushed by yihozhang
September 13, 2024 01:56 1m 31s release-0.3.0
September 13, 2024 01:56 1m 31s
Prepare for v0.3.0
Deploy Web Demo and Docs #984: Pull request #425 opened by yihozhang
September 13, 2024 01:54 1m 47s release-0.3.0
September 13, 2024 01:54 1m 47s
Prepare for v0.3.0
Deploy Web Demo and Docs #983: Commit 70e5bdd pushed by yihozhang
September 13, 2024 01:53 1m 40s release-0.3.0
September 13, 2024 01:53 1m 40s
Merge pull request #407 from saulshanabrook/serialize-move-split-prim…
Deploy Web Demo and Docs #982: Commit ae75bb7 pushed by yihozhang
September 13, 2024 01:52 1m 35s release-0.3.0
September 13, 2024 01:52 1m 35s
Serialize Whether Nodes Subsumed
Deploy Web Demo and Docs #981: Pull request #424 synchronize by saulshanabrook
September 12, 2024 17:09 2m 13s saulshanabrook:serialized-subsume
September 12, 2024 17:09 2m 13s
Serialize Whether Nodes Subsumed
Deploy Web Demo and Docs #980: Pull request #424 synchronize by saulshanabrook
September 12, 2024 16:04 1m 38s saulshanabrook:serialized-subsume
September 12, 2024 16:04 1m 38s
Serialize Whether Nodes Subsumed
Deploy Web Demo and Docs #979: Pull request #424 synchronize by saulshanabrook
September 12, 2024 15:48 1m 46s saulshanabrook:serialized-subsume
September 12, 2024 15:48 1m 46s
Serialize Whether Nodes Subsumed
Deploy Web Demo and Docs #978: Pull request #424 synchronize by saulshanabrook
September 11, 2024 23:31 1m 39s saulshanabrook:serialized-subsume
September 11, 2024 23:31 1m 39s
Serialize Whether Nodes Subsumed
Deploy Web Demo and Docs #977: Pull request #424 opened by saulshanabrook
September 11, 2024 23:29 1m 43s saulshanabrook:serialized-subsume
September 11, 2024 23:29 1m 43s
Merge pull request #407 from saulshanabrook/serialize-move-split-prim…
Deploy Web Demo and Docs #976: Commit ae75bb7 pushed by saulshanabrook
September 11, 2024 23:03 2m 50s main
September 11, 2024 23:03 2m 50s
Report errors to stdout in REPL mode
Deploy Web Demo and Docs #972: Pull request #417 synchronize by yihozhang
August 24, 2024 18:37 1m 35s report-error-in-repl-mode
August 24, 2024 18:37 1m 35s