Skip to content

Actions: egraphs-good/egglog

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #333: by github-pages bot
November 25, 2024 00:19 23s
November 25, 2024 00:19 23s
Merge pull request #473 from DaniPopes/revert-4c28061 Build #1450: Commit 86cb822 pushed by Alex-Fischman
November 25, 2024 00:18 15m 13s main
main
November 25, 2024 00:18 15m 13s
Merge pull request #473 from DaniPopes/revert-4c28061 Deploy Web Demo and Docs #1228: Commit 86cb822 pushed by Alex-Fischman
November 25, 2024 00:18 1m 25s main
main
November 25, 2024 00:18 1m 25s
Revert "Change map to be a trait method" Build #1449: Pull request #473 opened by DaniPopes
November 24, 2024 19:14 16m 17s DaniPopes:revert-4c28061
DaniPopes:revert-4c28061
November 24, 2024 19:14 16m 17s
Revert "Change map to be a trait method" Deploy Web Demo and Docs #1227: Pull request #473 opened by DaniPopes
November 24, 2024 19:14 1m 10s DaniPopes:revert-4c28061
DaniPopes:revert-4c28061
November 24, 2024 19:14 1m 10s
Minor Build #1448: Commit 8a75e7e pushed by FTRobbin
November 24, 2024 00:18 15m 3s haobinni-0904
haobinni-0904
November 24, 2024 00:18 15m 3s
Delete -naive flag and disallow lookup actions in rules Deploy Web Demo and Docs #1226: Pull request #461 synchronize by FTRobbin
November 24, 2024 00:18 2m 17s haobinni-0904
haobinni-0904
November 24, 2024 00:18 2m 17s
Delete -naive flag and disallow lookup actions in rules Build #1447: Pull request #461 synchronize by FTRobbin
November 24, 2024 00:18 14m 12s haobinni-0904
haobinni-0904
November 24, 2024 00:18 14m 12s
Minor Deploy Web Demo and Docs #1225: Commit 8a75e7e pushed by FTRobbin
November 24, 2024 00:18 3m 42s haobinni-0904
haobinni-0904
November 24, 2024 00:18 3m 42s
Make "declared function" printouts debug mode Build #1446: Pull request #472 opened by oflatt
November 18, 2024 19:50 16m 33s oflatt-less-verbose
oflatt-less-verbose
November 18, 2024 19:50 16m 33s
Make "declared function" printouts debug mode Deploy Web Demo and Docs #1224: Pull request #472 opened by oflatt
November 18, 2024 19:50 2m 26s oflatt-less-verbose
oflatt-less-verbose
November 18, 2024 19:50 2m 26s
slightly improve printing Deploy Web Demo and Docs #1223: Commit 4a194a3 pushed by oflatt
November 18, 2024 19:49 2m 23s oflatt-less-verbose
oflatt-less-verbose
November 18, 2024 19:49 2m 23s
slightly improve printing Build #1445: Commit 4a194a3 pushed by oflatt
November 18, 2024 19:49 16m 40s oflatt-less-verbose
oflatt-less-verbose
November 18, 2024 19:49 16m 40s
pages build and deployment pages-build-deployment #332: by github-pages bot
November 18, 2024 18:56 28s
November 18, 2024 18:56 28s
Merge pull request #467 from DaniPopes/optional-build Deploy Web Demo and Docs #1222: Commit 1d31817 pushed by Alex-Fischman
November 18, 2024 18:54 2m 40s main
main
November 18, 2024 18:54 2m 40s
Merge pull request #467 from DaniPopes/optional-build Build #1444: Commit 1d31817 pushed by Alex-Fischman
November 18, 2024 18:54 16m 58s main
main
November 18, 2024 18:54 16m 58s
revert some pub Build #1443: Commit 03859db pushed by yihozhang
November 18, 2024 00:39 9m 12s yihozhang-support-keep-best
yihozhang-support-keep-best
November 18, 2024 00:39 9m 12s
revert some pub Deploy Web Demo and Docs #1221: Commit 03859db pushed by yihozhang
November 18, 2024 00:39 2m 30s yihozhang-support-keep-best
yihozhang-support-keep-best
November 18, 2024 00:39 2m 30s
expose more internals Deploy Web Demo and Docs #1220: Commit bdf7a46 pushed by yihozhang
November 18, 2024 00:38 2m 12s yihozhang-support-keep-best
yihozhang-support-keep-best
November 18, 2024 00:38 2m 12s
expose more internals Build #1442: Commit bdf7a46 pushed by yihozhang
November 18, 2024 00:38 9m 17s yihozhang-support-keep-best
yihozhang-support-keep-best
November 18, 2024 00:38 9m 17s
Disable build script for library builds Build #1441: Pull request #467 synchronize by DaniPopes
November 13, 2024 09:22 17m 0s DaniPopes:optional-build
DaniPopes:optional-build
November 13, 2024 09:22 17m 0s
Disable build script for library builds Deploy Web Demo and Docs #1219: Pull request #467 synchronize by DaniPopes
November 13, 2024 09:22 2m 34s DaniPopes:optional-build
DaniPopes:optional-build
November 13, 2024 09:22 2m 34s
pages build and deployment pages-build-deployment #331: by github-pages bot
November 13, 2024 00:49 31s
November 13, 2024 00:49 31s
Merge pull request #469 from DaniPopes/parse-error-string Build #1440: Commit ca52ac1 pushed by Alex-Fischman
November 13, 2024 00:46 16m 53s main
main
November 13, 2024 00:46 16m 53s
Merge pull request #469 from DaniPopes/parse-error-string Deploy Web Demo and Docs #1218: Commit ca52ac1 pushed by Alex-Fischman
November 13, 2024 00:46 2m 41s main
main
November 13, 2024 00:46 2m 41s