Skip to content

Actions: egraphs-good/egglog

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
854 workflow runs
854 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add to-string function for floats and ints Build #624: Pull request #190 opened by saulshanabrook
August 14, 2023 23:27 1m 26s saulshanabrook:add-to-string
saulshanabrook:add-to-string
August 14, 2023 23:27 1m 26s
Exposes visualizations in CLI and in the web Build #623: Pull request #186 synchronize by saulshanabrook
August 14, 2023 19:35 1m 15s saulshanabrook:visualizer
saulshanabrook:visualizer
August 14, 2023 19:35 1m 15s
Exposes visualizations in CLI and in the web Build #622: Pull request #186 synchronize by saulshanabrook
August 14, 2023 19:24 1m 34s saulshanabrook:visualizer
saulshanabrook:visualizer
August 14, 2023 19:24 1m 34s
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
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
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
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
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
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 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 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 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
change precision, add units on displayed times Build #609: Pull request #185 opened by TrevorHansen
August 11, 2023 02:57 1m 21s TrevorHansen:main-3
TrevorHansen:main-3
August 11, 2023 02:57 1m 21s
Correct the format specifier and units. Build #608: Pull request #184 opened by TrevorHansen
August 11, 2023 01:34 1m 18s TrevorHansen:main-2
TrevorHansen:main-2
August 11, 2023 01:34 1m 18s
Print extracted terms to stdout Build #607: Pull request #183 opened by oflatt
August 10, 2023 23:23 1m 28s oflatt:oflatt-extract-print
oflatt:oflatt-extract-print
August 10, 2023 23:23 1m 28s
Change remaining README uses of define to let (#182) Build #606: Commit 8d56272 pushed by mwillsey
August 10, 2023 17:10 1m 21s main
main
August 10, 2023 17:10 1m 21s
Update README.md to include missing install (#181) Build #604: Commit 4a299ac pushed by mwillsey
August 10, 2023 13:56 1m 18s main
main
August 10, 2023 13:56 1m 18s
Update README.md (#180) Build #602: Commit de31786 pushed by mwillsey
August 9, 2023 19:16 1m 20s main
main
August 9, 2023 19:16 1m 20s
Update README.md Build #601: Pull request #180 opened by philzook58
August 9, 2023 18:54 1m 40s philzook58:readme-fix
philzook58:readme-fix
August 9, 2023 18:54 1m 40s
small readme updates (#179) Build #600: Commit 6be4a2e pushed by mwillsey
August 8, 2023 20:15 1m 41s main
main
August 8, 2023 20:15 1m 41s
small readme updates Build #599: Pull request #179 opened by oflatt
August 8, 2023 20:12 1m 20s oflatt:oflatt-update-readme
oflatt:oflatt-update-readme
August 8, 2023 20:12 1m 20s
Cleanup from terms PR (#176) Build #598: Commit 8fc012f pushed by mwillsey
August 2, 2023 22:17 1m 19s main
main
August 2, 2023 22:17 1m 19s
ProTip! You can narrow down the results and go further in time using created:<2023-08-02 or the other filters available.