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

Extract action prints extracted (#183) Build #621: Commit e0d75d6 pushed by mwillsey
August 14, 2023 16:17 1m 44s main
main
August 14, 2023 16:17 1m 44s
pages build and deployment pages-build-deployment #180: by github-pages bot
August 14, 2023 16:10 37s
August 14, 2023 16:10 37s
pages build and deployment pages-build-deployment #179: by github-pages bot
August 14, 2023 16:08 33s
August 14, 2023 16:08 33s
Fixes and adds extra tests to BDD & Arrays (#187) Build #620: Commit 098ef18 pushed by mwillsey
August 14, 2023 16:08 1m 41s main
main
August 14, 2023 16:08 1m 41s
Fixes and adds extra tests to BDD & Arrays (#187) Deploy Web Demo and Docs #398: Commit 098ef18 pushed by mwillsey
August 14, 2023 16:08 2m 22s main
main
August 14, 2023 16:08 2m 22s
Correct the format specifier and units. (#184) Deploy Web Demo and Docs #397: Commit bc0cdb4 pushed by mwillsey
August 14, 2023 16:06 2m 26s main
main
August 14, 2023 16:06 2m 26s
Correct the format specifier and units. (#184) Build #619: Commit bc0cdb4 pushed by mwillsey
August 14, 2023 16:06 2m 20s main
main
August 14, 2023 16:06 2m 20s
Correct the format specifier and units. Build #618: Pull request #184 synchronize by TrevorHansen
August 14, 2023 04:17 2m 18s TrevorHansen:main-2
TrevorHansen:main-2
August 14, 2023 04:17 2m 18s
Correct the format specifier and units. Deploy Web Demo and Docs #396: Pull request #184 synchronize by TrevorHansen
August 14, 2023 04:17 2m 51s TrevorHansen:main-2
TrevorHansen:main-2
August 14, 2023 04:17 2m 51s
Fixes and adds extra tests to BDD & Arrays Deploy Web Demo and Docs #395: Pull request #187 synchronize by TrevorHansen
August 14, 2023 03:19 2m 19s TrevorHansen:main-4
TrevorHansen:main-4
August 14, 2023 03:19 2m 19s
Fixes and adds extra tests to BDD & Arrays Build #617: Pull request #187 synchronize by TrevorHansen
August 14, 2023 03:19 1m 55s TrevorHansen:main-4
TrevorHansen:main-4
August 14, 2023 03:19 1m 55s
Fixes and adds extra tests to BDD & Arrays Build #616: Pull request #187 synchronize by TrevorHansen
August 14, 2023 03:19 1m 58s TrevorHansen:main-4
TrevorHansen:main-4
August 14, 2023 03:19 1m 58s
Fixes and adds extra tests to BDD & Arrays Deploy Web Demo and Docs #394: Pull request #187 synchronize by TrevorHansen
August 14, 2023 03:19 2m 48s TrevorHansen:main-4
TrevorHansen:main-4
August 14, 2023 03:19 2m 48s
Include missing addition rewrite rule Deploy Web Demo and Docs #393: Pull request #188 opened by TrevorHansen
August 13, 2023 04:45 2m 53s TrevorHansen:main-5
TrevorHansen:main-5
August 13, 2023 04:45 2m 53s
Include missing addition rewrite rule Build #615: Pull request #188 opened by TrevorHansen
August 13, 2023 04:45 2m 16s TrevorHansen:main-5
TrevorHansen:main-5
August 13, 2023 04:45 2m 16s
Fixes and adds extra tests to BDD & Arrays Build #614: Pull request #187 opened by TrevorHansen
August 12, 2023 06:39 1m 36s TrevorHansen:main-4
TrevorHansen:main-4
August 12, 2023 06:39 1m 36s
Fixes and adds extra tests to BDD & Arrays Deploy Web Demo and Docs #392: Pull request #187 opened by TrevorHansen
August 12, 2023 06:39 1m 49s TrevorHansen:main-4
TrevorHansen:main-4
August 12, 2023 06:39 1m 49s
Exposes visualizations in CLI and in the web Build #613: Pull request #186 synchronize by saulshanabrook
August 11, 2023 17:07 2m 33s saulshanabrook:visualizer
saulshanabrook:visualizer
August 11, 2023 17:07 2m 33s
Exposes visualizations in CLI and in the web Deploy Web Demo and Docs #391: Pull request #186 synchronize by saulshanabrook
August 11, 2023 17:07 2m 17s saulshanabrook:visualizer
saulshanabrook:visualizer
August 11, 2023 17:07 2m 17s
Exposes visualizations in CLI and in the web Deploy Web Demo and Docs #390: Pull request #186 synchronize by saulshanabrook
August 11, 2023 17:05 2m 46s saulshanabrook:visualizer
saulshanabrook:visualizer
August 11, 2023 17:05 2m 46s
Exposes visualizations in CLI and in the web Build #612: Pull request #186 synchronize by saulshanabrook
August 11, 2023 17:05 2m 43s saulshanabrook:visualizer
saulshanabrook:visualizer
August 11, 2023 17:05 2m 43s
Exposes visualizations in CLI and in the web Deploy Web Demo and Docs #389: Pull request #186 opened by saulshanabrook
August 11, 2023 17:02 3m 50s saulshanabrook:visualizer
saulshanabrook:visualizer
August 11, 2023 17:02 3m 50s
Exposes visualizations in CLI and in the web Build #611: Pull request #186 opened by saulshanabrook
August 11, 2023 17:02 2m 0s saulshanabrook:visualizer
saulshanabrook:visualizer
August 11, 2023 17:02 2m 0s
change precision, add units on displayed times Deploy Web Demo and Docs #388: Pull request #185 synchronize by TrevorHansen
August 11, 2023 03:02 2m 15s TrevorHansen:main-3
TrevorHansen:main-3
August 11, 2023 03:02 2m 15s
change precision, add units on displayed times Build #610: Pull request #185 synchronize by TrevorHansen
August 11, 2023 03:02 1m 22s TrevorHansen:main-3
TrevorHansen:main-3
August 11, 2023 03:02 1m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-08-11 or the other filters available.