Skip to content

Actions: egraphs-good/egglog

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
857 workflow runs
857 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #208 from oflatt/query-extract-oops Build #685: Commit b260f16 pushed by oflatt
August 29, 2023 20:38 1m 29s main
main
August 29, 2023 20:38 1m 29s
Merge pull request #220 from saulshanabrook/patch-1 Build #684: Commit a3bc4bc pushed by oflatt
August 29, 2023 20:38 1m 19s main
main
August 29, 2023 20:38 1m 19s
Format #214 Build #683: Pull request #221 opened by oflatt
August 29, 2023 20:36 1m 22s oflatt:oflatt-format-james-pr
oflatt:oflatt-format-james-pr
August 29, 2023 20:36 1m 22s
Update link to zulip chat Build #682: Pull request #220 opened by saulshanabrook
August 29, 2023 20:34 1m 38s saulshanabrook:patch-1
saulshanabrook:patch-1
August 29, 2023 20:34 1m 38s
Fix ExtractReport generation and extracting in sub-graph Build #681: Pull request #205 synchronize by saulshanabrook
August 29, 2023 20:03 1m 39s saulshanabrook:add-
saulshanabrook:add-
August 29, 2023 20:03 1m 39s
Fix ExtractReport generation and extracting in sub-graph Build #680: Pull request #205 synchronize by saulshanabrook
August 29, 2023 18:15 1m 41s saulshanabrook:add-
saulshanabrook:add-
August 29, 2023 18:15 1m 41s
Merge pull request #215 from saulshanabrook/fix-foreign-prims Build #679: Commit af0a493 pushed by oflatt
August 28, 2023 23:17 1m 22s main
main
August 28, 2023 23:17 1m 22s
Merge pull request #213 from wilcoxjay/jrw/rename-extract-report-expr… Build #678: Commit 36666c0 pushed by oflatt
August 28, 2023 23:17 1m 23s main
main
August 28, 2023 23:17 1m 23s
Merge pull request #207 from saulshanabrook/saulshanabrook-patch-1-1 Build #677: Commit 2a08879 pushed by oflatt
August 28, 2023 23:16 1m 23s main
main
August 28, 2023 23:16 1m 23s
Merge pull request #206 from saulshanabrook/saulshanabrook-patch-1 Build #676: Commit a79d2c4 pushed by oflatt
August 28, 2023 23:16 1m 24s main
main
August 28, 2023 23:16 1m 24s
Add CODEOWNERS Build #675: Commit 9cfe8b9 pushed by mwillsey
August 28, 2023 22:50 1m 32s main
main
August 28, 2023 22:50 1m 32s
Fix Web Demo badge link (#218) Build #674: Commit 7b31499 pushed by mwillsey
August 28, 2023 20:38 1m 51s main
main
August 28, 2023 20:38 1m 51s
Make match_term_app! support arbitrary patterns Build #673: Pull request #214 synchronize by wilcoxjay
August 27, 2023 20:16 1m 17s wilcoxjay:jrw/term-match-macro-support-patterns
wilcoxjay:jrw/term-match-macro-support-patterns
August 27, 2023 20:16 1m 17s
Fix Web Demo badge link Build #672: Pull request #218 opened by gussmith23
August 27, 2023 20:12 1m 20s gussmith23:patch-1
gussmith23:patch-1
August 27, 2023 20:12 1m 20s
Fix desugaring foreign primitives Build #671: Pull request #215 synchronize by saulshanabrook
August 26, 2023 11:38 1m 20s saulshanabrook:fix-foreign-prims
saulshanabrook:fix-foreign-prims
August 26, 2023 11:38 1m 20s
Make match_term_app! support arbitrary patterns Build #670: Pull request #214 synchronize by wilcoxjay
August 24, 2023 23:05 1m 15s wilcoxjay:jrw/term-match-macro-support-patterns
wilcoxjay:jrw/term-match-macro-support-patterns
August 24, 2023 23:05 1m 15s
Fix desugaring foreign primitives Build #669: Pull request #215 opened by saulshanabrook
August 24, 2023 14:33 1m 39s saulshanabrook:fix-foreign-prims
saulshanabrook:fix-foreign-prims
August 24, 2023 14:33 1m 39s
Make match_term_app! support arbitrary patterns Build #668: Pull request #214 opened by wilcoxjay
August 24, 2023 00:31 1m 25s wilcoxjay:jrw/term-match-macro-support-patterns
wilcoxjay:jrw/term-match-macro-support-patterns
August 24, 2023 00:31 1m 25s
Rename ExtractReport::{expr -> term} Build #667: Pull request #213 opened by wilcoxjay
August 24, 2023 00:30 1m 22s wilcoxjay:jrw/rename-extract-report-expr-to-term
wilcoxjay:jrw/rename-extract-report-expr-to-term
August 24, 2023 00:30 1m 22s
Restore behavior of extracting variants Build #666: Pull request #208 synchronize by oflatt
August 23, 2023 22:32 1m 36s oflatt:query-extract-oops
oflatt:query-extract-oops
August 23, 2023 22:32 1m 36s
Expose TermID Build #665: Pull request #207 synchronize by saulshanabrook
August 23, 2023 20:39 1m 18s saulshanabrook:saulshanabrook-patch-1-1
saulshanabrook:saulshanabrook-patch-1-1
August 23, 2023 20:39 1m 18s
Restore behavior of extracting variants Build #664: Pull request #208 opened by oflatt
August 23, 2023 20:04 1m 39s oflatt:query-extract-oops
oflatt:query-extract-oops
August 23, 2023 20:04 1m 39s
Expose TermID Build #663: Pull request #207 synchronize by saulshanabrook
August 23, 2023 18:59 1m 35s saulshanabrook:saulshanabrook-patch-1-1
saulshanabrook:saulshanabrook-patch-1-1
August 23, 2023 18:59 1m 35s
Expose TermID Build #662: Pull request #207 opened by saulshanabrook
August 23, 2023 18:52 1m 21s saulshanabrook:saulshanabrook-patch-1-1
saulshanabrook:saulshanabrook-patch-1-1
August 23, 2023 18:52 1m 21s
Fix to_sexp for extract Build #661: Pull request #206 opened by saulshanabrook
August 23, 2023 18:25 1m 36s saulshanabrook:saulshanabrook-patch-1
saulshanabrook:saulshanabrook-patch-1
August 23, 2023 18:25 1m 36s
ProTip! You can narrow down the results and go further in time using created:<2023-08-23 or the other filters available.