Skip to content

Actions: egraphs-good/egglog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,507 workflow runs
1,507 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prepare for v0.4.0 (#513) Build #1624: Commit b44ba49 pushed by yihozhang
January 21, 2025 01:46 11m 41s main
main
January 21, 2025 01:46 11m 41s
Prepare for v0.4.0 (#513) Deploy Web Demo and Docs #1402: Commit b44ba49 pushed by yihozhang
January 21, 2025 01:46 53s main
main
January 21, 2025 01:46 53s
Prepare for v0.4.0 Build #1623: Pull request #513 synchronize by yihozhang
January 21, 2025 01:46 11m 30s release-0.4.0
release-0.4.0
January 21, 2025 01:46 11m 30s
Prepare for v0.4.0 Deploy Web Demo and Docs #1401: Pull request #513 synchronize by yihozhang
January 21, 2025 01:46 1m 0s release-0.4.0
release-0.4.0
January 21, 2025 01:46 1m 0s
tweaks Deploy Web Demo and Docs #1400: Commit 693684d pushed by yihozhang
January 21, 2025 01:46 1m 4s release-0.4.0
release-0.4.0
January 21, 2025 01:46 1m 4s
tweaks Build #1622: Commit 693684d pushed by yihozhang
January 21, 2025 01:46 11m 27s release-0.4.0
release-0.4.0
January 21, 2025 01:46 11m 27s
pages build and deployment pages-build-deployment #360: by github-pages bot
January 20, 2025 04:20 10m 21s gh-pages
gh-pages
January 20, 2025 04:20 10m 21s
Merge pull request #514 from julianjumper/main Build #1621: Commit 526869b pushed by Alex-Fischman
January 20, 2025 04:19 11m 26s main
main
January 20, 2025 04:19 11m 26s
Merge pull request #514 from julianjumper/main Deploy Web Demo and Docs #1399: Commit 526869b pushed by Alex-Fischman
January 20, 2025 04:19 1m 2s main
main
January 20, 2025 04:19 1m 2s
[#512] set-of instead of set-insert Build #1620: Pull request #514 opened by julianjumper
January 19, 2025 06:57 11m 18s julianjumper:main
julianjumper:main
January 19, 2025 06:57 11m 18s
[#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
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
release-0.4.0
January 19, 2025 06:31 57s
Prepare for v0.4.0 Build #1619: Pull request #513 opened by yihozhang
January 19, 2025 06:31 11m 41s release-0.4.0
release-0.4.0
January 19, 2025 06:31 11m 41s
update CHANGELOG Deploy Web Demo and Docs #1396: Commit 2d6cc6f pushed by yihozhang
January 19, 2025 06:29 1m 2s release-0.4.0
release-0.4.0
January 19, 2025 06:29 1m 2s
update CHANGELOG Build #1618: Commit 2d6cc6f pushed by yihozhang
January 19, 2025 06:29 12m 43s release-0.4.0
release-0.4.0
January 19, 2025 06:29 12m 43s
pages build and deployment pages-build-deployment #359: by github-pages bot
January 16, 2025 21:17 28s gh-pages
gh-pages
January 16, 2025 21:17 28s
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
main
January 16, 2025 21:16 1m 8s
Merge pull request #511 from Alex-Fischman/main Build #1617: Commit 56cc61f pushed by Alex-Fischman
January 16, 2025 21:16 11m 32s main
main
January 16, 2025 21:16 11m 32s
Fix deprecation of actions/upload-artifact/v3 Build #1616: Pull request #511 opened by Alex-Fischman
January 16, 2025 21:04 11m 37s Alex-Fischman:main
Alex-Fischman:main
January 16, 2025 21:04 11m 37s
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
Alex-Fischman:main
January 16, 2025 21:04 1m 8s
Expose CLI for egglog-experimental (#510) Build #1615: Commit 6a3486e pushed by yihozhang
January 16, 2025 18:59 11m 54s main
main
January 16, 2025 18:59 11m 54s
Expose CLI for egglog-experimental (#510) Deploy Web Demo and Docs #1393: Commit 6a3486e pushed by yihozhang
January 16, 2025 18:59 11s main
main
January 16, 2025 18:59 11s
fix up after cherry pick: Build #1614: Commit 8deef5e pushed by oflatt
January 15, 2025 21:52 16m 2s oflatt-eggcc-branch
oflatt-eggcc-branch
January 15, 2025 21:52 16m 2s
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
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
Alex-Fischman:cli
January 15, 2025 20:00 1m 1s