Skip to content

Actions: egraphs-good/egglog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
230 workflow run results
230 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #199: by github-pages bot
August 28, 2023 23:19 32s
August 28, 2023 23:19 32s
pages build and deployment pages-build-deployment #198: by github-pages bot
August 28, 2023 23:19 20s
August 28, 2023 23:19 20s
pages build and deployment pages-build-deployment #197: by github-pages bot
August 28, 2023 23:18 34s
August 28, 2023 23:18 34s
pages build and deployment pages-build-deployment #196: by github-pages bot
August 28, 2023 23:18 35s
August 28, 2023 23:18 35s
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 #215 from saulshanabrook/fix-foreign-prims Deploy Web Demo and Docs #457: Commit af0a493 pushed by oflatt
August 28, 2023 23:17 2m 22s main
main
August 28, 2023 23:17 2m 22s
Merge pull request #213 from wilcoxjay/jrw/rename-extract-report-expr… Deploy Web Demo and Docs #456: Commit 36666c0 pushed by oflatt
August 28, 2023 23:17 2m 35s main
main
August 28, 2023 23:17 2m 35s
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 Deploy Web Demo and Docs #455: Commit 2a08879 pushed by oflatt
August 28, 2023 23:16 2m 1s main
main
August 28, 2023 23:16 2m 1s
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 Deploy Web Demo and Docs #454: Commit a79d2c4 pushed by oflatt
August 28, 2023 23:16 2m 2s main
main
August 28, 2023 23:16 2m 2s
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
pages build and deployment pages-build-deployment #195: by github-pages bot
August 28, 2023 22:52 27s
August 28, 2023 22:52 27s
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
Add CODEOWNERS Deploy Web Demo and Docs #453: Commit 9cfe8b9 pushed by mwillsey
August 28, 2023 22:50 2m 6s main
main
August 28, 2023 22:50 2m 6s
pages build and deployment pages-build-deployment #194: by github-pages bot
August 28, 2023 20:41 31s
August 28, 2023 20:41 31s
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
Fix Web Demo badge link (#218) Deploy Web Demo and Docs #452: Commit 7b31499 pushed by mwillsey
August 28, 2023 20:38 2m 35s main
main
August 28, 2023 20:38 2m 35s
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
Make match_term_app! support arbitrary patterns Deploy Web Demo and Docs #451: Pull request #214 synchronize by wilcoxjay
August 27, 2023 20:16 2m 23s wilcoxjay:jrw/term-match-macro-support-patterns
wilcoxjay:jrw/term-match-macro-support-patterns
August 27, 2023 20:16 2m 23s
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 Web Demo badge link Deploy Web Demo and Docs #450: Pull request #218 opened by gussmith23
August 27, 2023 20:12 2m 17s gussmith23:patch-1
gussmith23:patch-1
August 27, 2023 20:12 2m 17s
Fix desugaring foreign primitives Deploy Web Demo and Docs #449: Pull request #215 synchronize by saulshanabrook
August 26, 2023 11:38 2m 42s saulshanabrook:fix-foreign-prims
saulshanabrook:fix-foreign-prims
August 26, 2023 11:38 2m 42s
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 Deploy Web Demo and Docs #448: Pull request #214 synchronize by wilcoxjay
August 24, 2023 23:05 2m 18s wilcoxjay:jrw/term-match-macro-support-patterns
wilcoxjay:jrw/term-match-macro-support-patterns
August 24, 2023 23:05 2m 18s