Skip to content

Actions: egraphs-good/egglog

Deploy Web Demo and Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
727 workflow runs
727 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[#512] set-of instead of set-insert
Deploy Web Demo and Docs #1398: Pull request #514 opened by julianjumper
January 19, 2025 06:57 57s julianjumper:main
January 19, 2025 06:57 57s
Prepare for v0.4.0
Deploy Web Demo and Docs #1397: Pull request #513 opened by yihozhang
January 19, 2025 06:31 57s release-0.4.0
January 19, 2025 06:31 57s
update CHANGELOG
Deploy Web Demo and Docs #1396: Commit 2d6cc6f pushed by yihozhang
January 19, 2025 06:29 1m 2s release-0.4.0
January 19, 2025 06:29 1m 2s
Merge pull request #511 from Alex-Fischman/main
Deploy Web Demo and Docs #1395: Commit 56cc61f pushed by Alex-Fischman
January 16, 2025 21:16 1m 8s main
January 16, 2025 21:16 1m 8s
Fix deprecation of actions/upload-artifact/v3
Deploy Web Demo and Docs #1394: Pull request #511 opened by Alex-Fischman
January 16, 2025 21:04 1m 8s Alex-Fischman:main
January 16, 2025 21:04 1m 8s
Expose CLI for egglog-experimental (#510)
Deploy Web Demo and Docs #1393: Commit 6a3486e pushed by yihozhang
January 16, 2025 18:59 11s main
January 16, 2025 18:59 11s
fix up after cherry pick:
Deploy Web Demo and Docs #1392: Commit 8deef5e pushed by oflatt
January 15, 2025 21:52 1m 22s oflatt-eggcc-branch
January 15, 2025 21:52 1m 22s
Expose CLI for egglog-experimental
Deploy Web Demo and Docs #1391: Pull request #510 synchronize by Alex-Fischman
January 15, 2025 20:00 1m 1s Alex-Fischman:cli
January 15, 2025 20:00 1m 1s
Expose CLI for egglog-experimental
Deploy Web Demo and Docs #1390: Pull request #510 synchronize by Alex-Fischman
January 15, 2025 19:59 1m 8s Alex-Fischman:cli
January 15, 2025 19:59 1m 8s
clear cache primitive
Deploy Web Demo and Docs #1389: Commit 13f89bd pushed by oflatt
January 15, 2025 19:53 1m 17s oflatt-match-once
January 15, 2025 19:53 1m 17s
Expose CLI for egglog-experimental
Deploy Web Demo and Docs #1388: Pull request #510 synchronize by Alex-Fischman
January 15, 2025 19:51 1m 36s Alex-Fischman:cli
January 15, 2025 19:51 1m 36s
evil primitive for matching just once
Deploy Web Demo and Docs #1387: Commit 8775df9 pushed by oflatt
January 15, 2025 19:10 1m 23s oflatt-match-once
January 15, 2025 19:10 1m 23s
Expose CLI for egglog-experimental
Deploy Web Demo and Docs #1386: Pull request #510 synchronize by Alex-Fischman
January 9, 2025 20:07 1m 51s Alex-Fischman:cli
January 9, 2025 20:07 1m 51s
Expose CLI for egglog-experimental
Deploy Web Demo and Docs #1385: Pull request #510 synchronize by Alex-Fischman
January 9, 2025 20:00 59s Alex-Fischman:cli
January 9, 2025 20:00 59s
Expose CLI for egglog-experimental
Deploy Web Demo and Docs #1384: Pull request #510 synchronize by Alex-Fischman
January 7, 2025 19:06 1m 8s Alex-Fischman:cli
January 7, 2025 19:06 1m 8s
Expose CLI for egglog-experimental
Deploy Web Demo and Docs #1383: Pull request #510 synchronize by Alex-Fischman
January 7, 2025 18:53 35s Alex-Fischman:cli
January 7, 2025 18:53 35s
Expose CLI for egglog-experimental
Deploy Web Demo and Docs #1382: Pull request #510 synchronize by Alex-Fischman
January 7, 2025 18:52 33s Alex-Fischman:cli
January 7, 2025 18:52 33s
Expose CLI for egglog-experimental
Deploy Web Demo and Docs #1381: Pull request #510 synchronize by Alex-Fischman
January 7, 2025 18:35 1m 19s Alex-Fischman:cli
January 7, 2025 18:35 1m 19s
Expose CLI for egglog-experimental
Deploy Web Demo and Docs #1380: Pull request #510 synchronize by Alex-Fischman
January 7, 2025 18:17 1m 1s Alex-Fischman:cli
January 7, 2025 18:17 1m 1s
Expose CLI for egglog-experimental
Deploy Web Demo and Docs #1379: Pull request #510 opened by Alex-Fischman
January 7, 2025 18:09 1m 23s Alex-Fischman:cli
January 7, 2025 18:09 1m 23s
Merge pull request #509 from egraphs-good/yihozhang-extensible-type-c…
Deploy Web Demo and Docs #1378: Commit df92e00 pushed by saulshanabrook
January 7, 2025 16:37 1m 4s main
January 7, 2025 16:37 1m 4s
Merge pull request #508 from egraphs-good/yihozhang-extract-graceful-…
Deploy Web Demo and Docs #1377: Commit a591b8e pushed by saulshanabrook
January 7, 2025 16:31 1m 11s main
January 7, 2025 16:31 1m 11s
Merge pull request #499 from rtzam/fixes-bigrat-pow
Deploy Web Demo and Docs #1376: Commit 3fed402 pushed by Alex-Fischman
January 6, 2025 23:07 1m 3s main
January 6, 2025 23:07 1m 3s
Merge pull request #507 from egraphs-good/yihozhang-repl-func
Deploy Web Demo and Docs #1375: Commit c0b4c63 pushed by Alex-Fischman
January 6, 2025 16:40 1m 20s main
January 6, 2025 16:40 1m 20s
Make the type constraint system user-extensible
Deploy Web Demo and Docs #1374: Pull request #509 opened by yihozhang
January 6, 2025 09:38 1m 1s yihozhang-extensible-type-constraints
January 6, 2025 09:38 1m 1s