Skip to content

Actions: egraphs-good/egglog

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

incorporate feedbacks Deploy Web Demo and Docs #961: Commit 039a672 pushed by yihozhang
August 22, 2024 21:31 1m 40s yihozhang-error-reporting
yihozhang-error-reporting
August 22, 2024 21:31 1m 40s
pages build and deployment pages-build-deployment #294: by github-pages bot
August 22, 2024 20:45 26s
August 22, 2024 20:45 26s
Merge pull request #418 from oflatt/oflatt-remove-declare Deploy Web Demo and Docs #960: Commit fe50c1a pushed by yihozhang
August 22, 2024 20:44 1m 46s main
main
August 22, 2024 20:44 1m 46s
Merge pull request #418 from oflatt/oflatt-remove-declare Build #1182: Commit fe50c1a pushed by yihozhang
August 22, 2024 20:44 1m 57s main
main
August 22, 2024 20:44 1m 57s
Remove declare and calc Deploy Web Demo and Docs #959: Pull request #418 synchronize by oflatt
August 20, 2024 20:53 1m 35s oflatt:oflatt-remove-declare
oflatt:oflatt-remove-declare
August 20, 2024 20:53 1m 35s
Remove declare and calc Build #1181: Pull request #418 synchronize by oflatt
August 20, 2024 20:53 1m 39s oflatt:oflatt-remove-declare
oflatt:oflatt-remove-declare
August 20, 2024 20:53 1m 39s
Remove declare and calc Deploy Web Demo and Docs #958: Pull request #418 opened by oflatt
August 20, 2024 20:52 1m 36s oflatt:oflatt-remove-declare
oflatt:oflatt-remove-declare
August 20, 2024 20:52 1m 36s
Remove declare and calc Build #1180: Pull request #418 opened by oflatt
August 20, 2024 20:52 1m 44s oflatt:oflatt-remove-declare
oflatt:oflatt-remove-declare
August 20, 2024 20:52 1m 44s
Report errors to stdout in REPL mode Build #1179: Pull request #417 opened by yihozhang
August 20, 2024 01:12 1m 40s report-error-in-repl-mode
report-error-in-repl-mode
August 20, 2024 01:12 1m 40s
Report errors to stdout in REPL mode Deploy Web Demo and Docs #957: Pull request #417 opened by yihozhang
August 20, 2024 01:12 1m 39s report-error-in-repl-mode
report-error-in-repl-mode
August 20, 2024 01:12 1m 39s
Report errors to stdout in REPL mode Deploy Web Demo and Docs #956: Commit 5bc1504 pushed by yihozhang
August 20, 2024 00:54 2m 0s report-error-in-repl-mode
report-error-in-repl-mode
August 20, 2024 00:54 2m 0s
Report errors to stdout in REPL mode Build #1178: Commit 5bc1504 pushed by yihozhang
August 20, 2024 00:54 1m 40s report-error-in-repl-mode
report-error-in-repl-mode
August 20, 2024 00:54 1m 40s
Reporting source locations for errors Build #1177: Pull request #398 synchronize by yihozhang
August 16, 2024 23:01 1m 50s yihozhang-error-reporting
yihozhang-error-reporting
August 16, 2024 23:01 1m 50s
Reporting source locations for errors Deploy Web Demo and Docs #955: Pull request #398 synchronize by yihozhang
August 16, 2024 23:01 1m 36s yihozhang-error-reporting
yihozhang-error-reporting
August 16, 2024 23:01 1m 36s
add filename Build #1176: Commit 8f962be pushed by yihozhang
August 16, 2024 23:01 1m 37s yihozhang-error-reporting
yihozhang-error-reporting
August 16, 2024 23:01 1m 37s
add filename Deploy Web Demo and Docs #954: Commit 8f962be pushed by yihozhang
August 16, 2024 23:01 1m 51s yihozhang-error-reporting
yihozhang-error-reporting
August 16, 2024 23:01 1m 51s
Reporting source locations for errors Deploy Web Demo and Docs #953: Pull request #398 synchronize by yihozhang
August 15, 2024 21:42 1m 36s yihozhang-error-reporting
yihozhang-error-reporting
August 15, 2024 21:42 1m 36s
Reporting source locations for errors Build #1175: Pull request #398 synchronize by yihozhang
August 15, 2024 21:42 1m 44s yihozhang-error-reporting
yihozhang-error-reporting
August 15, 2024 21:42 1m 44s
nits Deploy Web Demo and Docs #952: Commit 36bcdd5 pushed by yihozhang
August 15, 2024 21:42 1m 51s yihozhang-error-reporting
yihozhang-error-reporting
August 15, 2024 21:42 1m 51s
nits Build #1174: Commit 36bcdd5 pushed by yihozhang
August 15, 2024 21:42 1m 37s yihozhang-error-reporting
yihozhang-error-reporting
August 15, 2024 21:42 1m 37s
pages build and deployment pages-build-deployment #293: by github-pages bot
August 15, 2024 21:41 25s
August 15, 2024 21:41 25s
Reporting source locations for errors Deploy Web Demo and Docs #951: Pull request #398 synchronize by yihozhang
August 15, 2024 21:40 1m 33s yihozhang-error-reporting
yihozhang-error-reporting
August 15, 2024 21:40 1m 33s
Reporting source locations for errors Build #1173: Pull request #398 synchronize by yihozhang
August 15, 2024 21:40 1m 37s yihozhang-error-reporting
yihozhang-error-reporting
August 15, 2024 21:40 1m 37s
improve doc for parse_and_run_program Deploy Web Demo and Docs #950: Commit 8df581d pushed by yihozhang
August 15, 2024 21:40 1m 42s yihozhang-error-reporting
yihozhang-error-reporting
August 15, 2024 21:40 1m 42s
improve doc for parse_and_run_program Build #1172: Commit 8df581d pushed by yihozhang
August 15, 2024 21:40 1m 39s yihozhang-error-reporting
yihozhang-error-reporting
August 15, 2024 21:40 1m 39s