Skip to content

Actions: egraphs-good/egglog

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
854 workflow runs
854 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Benchmark examples with codspeed
Build #1330: Pull request #443 synchronize by saulshanabrook
October 16, 2024 00:50 35s saulshanabrook:codspeed
October 16, 2024 00:50 35s
Benchmark examples with codspeed
Build #1329: Pull request #443 synchronize by saulshanabrook
October 15, 2024 22:23 9m 24s saulshanabrook:codspeed
October 15, 2024 22:23 9m 24s
Benchmark examples with codspeed
Build #1328: Pull request #443 synchronize by saulshanabrook
October 15, 2024 19:02 9m 49s saulshanabrook:codspeed
October 15, 2024 19:02 9m 49s
Benchmark examples with codspeed
Build #1327: Pull request #443 synchronize by saulshanabrook
October 15, 2024 18:50 52m 37s saulshanabrook:codspeed
October 15, 2024 18:50 52m 37s
Benchmark examples with codspeed
Build #1326: Pull request #443 synchronize by saulshanabrook
October 15, 2024 18:49 9m 40s saulshanabrook:codspeed
October 15, 2024 18:49 9m 40s
Benchmark examples with codspeed
Build #1325: Pull request #443 synchronize by saulshanabrook
October 15, 2024 18:37 7m 51s saulshanabrook:codspeed
October 15, 2024 18:37 7m 51s
Benchmark examples with codspeed
Build #1324: Pull request #443 synchronize by saulshanabrook
October 15, 2024 18:11 8m 18s saulshanabrook:codspeed
October 15, 2024 18:11 8m 18s
Sort declaration cleanup
Build #1323: Pull request #442 synchronize by Alex-Fischman
October 15, 2024 18:10 1m 34s Alex-Fischman:sort-names
October 15, 2024 18:10 1m 34s
Benchmark examples with codspeed
Build #1322: Pull request #443 synchronize by saulshanabrook
October 15, 2024 18:07 8m 48s saulshanabrook:codspeed
October 15, 2024 18:07 8m 48s
Benchmark examples with codspeed
Build #1321: Pull request #443 synchronize by saulshanabrook
October 15, 2024 17:52 11m 2s saulshanabrook:codspeed
October 15, 2024 17:52 11m 2s
Benchmark examples with codspeed
Build #1320: Pull request #443 synchronize by saulshanabrook
October 15, 2024 17:42 10m 24s saulshanabrook:codspeed
October 15, 2024 17:42 10m 24s
Fix sources of nondeterminism in egglog
Build #1319: Pull request #439 synchronize by oflatt
October 15, 2024 16:40 1m 54s oflatt-nondeterminism-fix
October 15, 2024 16:40 1m 54s
Revert "nondeterministic feature"
Build #1318: Commit 3f0507f pushed by oflatt
October 15, 2024 16:40 1m 48s oflatt-nondeterminism-fix
October 15, 2024 16:40 1m 48s
Add action to set custom cost
Build #1317: Pull request #355 synchronize by saulshanabrook
October 15, 2024 15:30 1m 39s saulshanabrook:cost-action
October 15, 2024 15:30 1m 39s
Add action to set custom cost
Build #1316: Pull request #355 synchronize by saulshanabrook
October 15, 2024 15:26 1m 39s saulshanabrook:cost-action
October 15, 2024 15:26 1m 39s
Add action to set custom cost
Build #1315: Pull request #355 synchronize by saulshanabrook
October 15, 2024 15:23 1m 48s saulshanabrook:cost-action
October 15, 2024 15:23 1m 48s
Add action to set custom cost
Build #1314: Pull request #355 synchronize by saulshanabrook
October 15, 2024 15:08 1m 51s saulshanabrook:cost-action
October 15, 2024 15:08 1m 51s
Sort declaration cleanup
Build #1313: Pull request #442 synchronize by Alex-Fischman
October 15, 2024 05:58 1m 32s Alex-Fischman:sort-names
October 15, 2024 05:58 1m 32s
Add action to set custom cost
Build #1312: Pull request #355 synchronize by saulshanabrook
October 14, 2024 19:25 1m 14s saulshanabrook:cost-action
October 14, 2024 19:25 1m 14s
Add action to set custom cost
Build #1311: Pull request #355 synchronize by saulshanabrook
October 14, 2024 19:15 46s saulshanabrook:cost-action
October 14, 2024 19:15 46s
Add action to set custom cost
Build #1310: Pull request #355 synchronize by saulshanabrook
October 14, 2024 19:14 47s saulshanabrook:cost-action
October 14, 2024 19:14 47s
Add action to set custom cost
Build #1309: Pull request #355 synchronize by saulshanabrook
October 14, 2024 19:10 48s saulshanabrook:cost-action
October 14, 2024 19:10 48s
Benchmark examples with codspeed
Build #1308: Pull request #443 synchronize by saulshanabrook
October 13, 2024 01:19 7m 51s saulshanabrook:codspeed
October 13, 2024 01:19 7m 51s
Benchmark examples with codspeed
Build #1307: Pull request #443 synchronize by saulshanabrook
October 13, 2024 01:10 6m 20s saulshanabrook:codspeed
October 13, 2024 01:10 6m 20s
Benchmark examples with codspeed
Build #1306: Pull request #443 opened by saulshanabrook
October 13, 2024 01:07 6m 5s saulshanabrook:codspeed
October 13, 2024 01:07 6m 5s