Skip to content

Actions: egraphs-good/egglog

Build

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
Build #1218: Pull request #427 synchronize by yihozhang
September 26, 2024 21:34 1m 42s build-info
September 26, 2024 21:34 1m 42s
oops
Build #1217: Commit 821cfb5 pushed by yihozhang
September 26, 2024 21:34 1m 39s build-info
September 26, 2024 21:34 1m 39s
Display build info when running egglog
Build #1216: Pull request #427 synchronize by yihozhang
September 26, 2024 21:30 1m 42s build-info
September 26, 2024 21:30 1m 42s
optional git
Build #1215: Commit f86182e pushed by yihozhang
September 26, 2024 21:30 1m 43s build-info
September 26, 2024 21:30 1m 43s
Display build info when running egglog
Build #1214: Pull request #427 opened by yihozhang
September 25, 2024 22:17 2m 2s build-info
September 25, 2024 22:17 2m 2s
nits
Build #1213: Commit 5bf9dee pushed by yihozhang
September 25, 2024 22:13 1m 37s build-info
September 25, 2024 22:13 1m 37s
get rid of unwanted deps
Build #1212: Commit 4b5769e pushed by yihozhang
September 25, 2024 22:12 1m 50s build-info
September 25, 2024 22:12 1m 50s
add build info when running egglog
Build #1211: Commit cab64c5 pushed by yihozhang
September 25, 2024 22:01 2m 1s build-info
September 25, 2024 22:01 2m 1s
Merge pull request #424 from saulshanabrook/serialized-subsume
Build #1209: Commit 8d9b10e pushed by saulshanabrook
September 18, 2024 17:56 1m 55s main
September 18, 2024 17:56 1m 55s
Prepare for v0.3.0
Build #1208: Pull request #425 synchronize by yihozhang
September 13, 2024 01:56 1m 46s release-0.3.0
September 13, 2024 01:56 1m 46s
add non-existent link
Build #1207: Commit 2e1db76 pushed by yihozhang
September 13, 2024 01:56 1m 38s release-0.3.0
September 13, 2024 01:56 1m 38s
Prepare for v0.3.0
Build #1206: Pull request #425 opened by yihozhang
September 13, 2024 01:54 1m 45s release-0.3.0
September 13, 2024 01:54 1m 45s
Prepare for v0.3.0
Build #1205: Commit 70e5bdd pushed by yihozhang
September 13, 2024 01:53 1m 37s release-0.3.0
September 13, 2024 01:53 1m 37s
September 13, 2024 01:52 1m 39s
Serialize Whether Nodes Subsumed
Build #1203: Pull request #424 synchronize by saulshanabrook
September 12, 2024 17:09 1m 56s saulshanabrook:serialized-subsume
September 12, 2024 17:09 1m 56s
Serialize Whether Nodes Subsumed
Build #1202: Pull request #424 synchronize by saulshanabrook
September 12, 2024 16:04 1m 47s saulshanabrook:serialized-subsume
September 12, 2024 16:04 1m 47s
Serialize Whether Nodes Subsumed
Build #1201: Pull request #424 synchronize by saulshanabrook
September 12, 2024 15:48 1m 15s saulshanabrook:serialized-subsume
September 12, 2024 15:48 1m 15s
Serialize Whether Nodes Subsumed
Build #1200: Pull request #424 synchronize by saulshanabrook
September 11, 2024 23:31 1m 44s saulshanabrook:serialized-subsume
September 11, 2024 23:31 1m 44s
Serialize Whether Nodes Subsumed
Build #1199: Pull request #424 opened by saulshanabrook
September 11, 2024 23:29 1m 48s saulshanabrook:serialized-subsume
September 11, 2024 23:29 1m 48s
September 11, 2024 23:03 2m 33s
Report errors to stdout in REPL mode
Build #1194: Pull request #417 synchronize by yihozhang
August 24, 2024 18:37 1m 52s report-error-in-repl-mode
August 24, 2024 18:37 1m 52s