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

Merge pull request #444 from saulshanabrook/update-python-example
Build #1380: Commit ae69e65 pushed by saulshanabrook
October 24, 2024 16:22 15m 16s main
October 24, 2024 16:22 15m 16s
Update Python example
Build #1379: Pull request #444 synchronize by saulshanabrook
October 24, 2024 15:01 15m 1s saulshanabrook:update-python-example
October 24, 2024 15:01 15m 1s
Update hashbrown
Build #1378: Pull request #445 synchronize by thaliaarchi
October 24, 2024 02:51 8m 33s thaliaarchi:update-hashbrown
October 24, 2024 02:51 8m 33s
Update Python example
Build #1377: Pull request #444 synchronize by saulshanabrook
October 24, 2024 01:20 14m 40s saulshanabrook:update-python-example
October 24, 2024 01:20 14m 40s
cleanup
Build #1375: Commit 1c5b0c7 pushed by yihozhang
October 23, 2024 08:45 8m 31s yihozhang-typesafe-higher-order-functions
October 23, 2024 08:45 8m 31s
fmt
Build #1373: Commit 9d6c6ce pushed by yihozhang
October 23, 2024 07:52 8m 26s yihozhang-typesafe-higher-order-functions
October 23, 2024 07:52 8m 26s
Reimplement parser
Build #1372: Pull request #450 synchronize by Alex-Fischman
October 23, 2024 02:05 8m 17s Alex-Fischman:fast-parser
October 23, 2024 02:05 8m 17s
Disable Value.tag in release mode
Build #1371: Pull request #448 synchronize by Alex-Fischman
October 23, 2024 02:04 8m 5s Alex-Fischman:cfg-tag
October 23, 2024 02:04 8m 5s
Add multisets
Build #1370: Pull request #446 synchronize by saulshanabrook
October 22, 2024 17:17 8m 34s saulshanabrook:multiset
October 22, 2024 17:17 8m 34s
Update Python example
Build #1369: Pull request #444 synchronize by saulshanabrook
October 22, 2024 16:29 14m 53s saulshanabrook:update-python-example
October 22, 2024 16:29 14m 53s
Update Python example
Build #1368: Pull request #444 synchronize by saulshanabrook
October 22, 2024 16:21 14m 56s saulshanabrook:update-python-example
October 22, 2024 16:21 14m 56s
Add multisets
Build #1367: Pull request #446 synchronize by saulshanabrook
October 22, 2024 16:11 8m 44s saulshanabrook:multiset
October 22, 2024 16:11 8m 44s
Add multisets
Build #1366: Pull request #446 synchronize by saulshanabrook
October 22, 2024 15:50 8m 29s saulshanabrook:multiset
October 22, 2024 15:50 8m 29s
Merge pull request #449 from egraphs-good/fix-debug-print
Build #1365: Commit b0db068 pushed by saulshanabrook
October 22, 2024 15:19 8m 33s main
October 22, 2024 15:19 8m 33s
Reimplement parser
Build #1364: Pull request #450 synchronize by Alex-Fischman
October 22, 2024 06:49 8m 17s Alex-Fischman:fast-parser
October 22, 2024 06:49 8m 17s
Disable Value.tag in release mode
Build #1363: Pull request #448 synchronize by Alex-Fischman
October 22, 2024 06:40 8m 23s Alex-Fischman:cfg-tag
October 22, 2024 06:40 8m 23s
Reimplement parser
Build #1362: Pull request #450 synchronize by Alex-Fischman
October 21, 2024 21:33 8m 5s Alex-Fischman:fast-parser
October 21, 2024 21:33 8m 5s
Reimplement parser
Build #1361: Pull request #450 synchronize by Alex-Fischman
October 21, 2024 18:59 8m 21s Alex-Fischman:fast-parser
October 21, 2024 18:59 8m 21s
Reimplement parser
Build #1360: Pull request #450 synchronize by Alex-Fischman
October 21, 2024 18:41 8m 13s Alex-Fischman:fast-parser
October 21, 2024 18:41 8m 13s
Reimplement parser
Build #1359: Pull request #450 synchronize by Alex-Fischman
October 21, 2024 02:31 8m 5s Alex-Fischman:fast-parser
October 21, 2024 02:31 8m 5s
Reimplement parser
Build #1358: Pull request #450 synchronize by Alex-Fischman
October 21, 2024 02:30 8m 13s Alex-Fischman:fast-parser
October 21, 2024 02:30 8m 13s
Reimplement parser
Build #1357: Pull request #450 synchronize by Alex-Fischman
October 21, 2024 02:19 8m 31s Alex-Fischman:fast-parser
October 21, 2024 02:19 8m 31s
Reimplement parser
Build #1356: Pull request #450 opened by Alex-Fischman
October 21, 2024 00:42 8m 48s Alex-Fischman:fast-parser
October 21, 2024 00:42 8m 48s