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

Document src/termdag.rs Deploy Web Demo and Docs #425: Pull request #200 synchronize by wilcoxjay
August 22, 2023 01:46 1m 55s wilcoxjay:jrw/document-termdag
wilcoxjay:jrw/document-termdag
August 22, 2023 01:46 1m 55s
Document src/termdag.rs Build #646: Pull request #200 synchronize by wilcoxjay
August 22, 2023 01:07 1m 20s wilcoxjay:jrw/document-termdag
wilcoxjay:jrw/document-termdag
August 22, 2023 01:07 1m 20s
Document src/termdag.rs Deploy Web Demo and Docs #424: Pull request #200 synchronize by wilcoxjay
August 22, 2023 01:07 2m 17s wilcoxjay:jrw/document-termdag
wilcoxjay:jrw/document-termdag
August 22, 2023 01:07 2m 17s
Document src/termdag.rs Build #645: Pull request #200 opened by wilcoxjay
August 21, 2023 23:20 1m 31s wilcoxjay:jrw/document-termdag
wilcoxjay:jrw/document-termdag
August 21, 2023 23:20 1m 31s
Document src/termdag.rs Deploy Web Demo and Docs #423: Pull request #200 opened by wilcoxjay
August 21, 2023 23:20 2m 23s wilcoxjay:jrw/document-termdag
wilcoxjay:jrw/document-termdag
August 21, 2023 23:20 2m 23s
pages build and deployment pages-build-deployment #189: by github-pages bot
August 21, 2023 21:05 33s
August 21, 2023 21:05 33s
pages build and deployment pages-build-deployment #188: by github-pages bot
August 21, 2023 21:02 33s
August 21, 2023 21:02 33s
Chore: Update rust-toolchain (#198) Deploy Web Demo and Docs #422: Commit cefd8bc pushed by mwillsey
August 21, 2023 21:00 4m 47s main
main
August 21, 2023 21:00 4m 47s
Chore: Update rust-toolchain (#198) Build #644: Commit cefd8bc pushed by mwillsey
August 21, 2023 21:00 2m 32s main
main
August 21, 2023 21:00 2m 32s
Show parse error's line number and column number (#199) Build #643: Commit d0544fe pushed by mwillsey
August 21, 2023 21:00 1m 26s main
main
August 21, 2023 21:00 1m 26s
Show parse error's line number and column number (#199) Deploy Web Demo and Docs #421: Commit d0544fe pushed by mwillsey
August 21, 2023 21:00 2m 33s main
main
August 21, 2023 21:00 2m 33s
pages build and deployment pages-build-deployment #187: by github-pages bot
August 21, 2023 20:56 32s
August 21, 2023 20:56 32s
pages build and deployment pages-build-deployment #186: by github-pages bot
August 21, 2023 20:55 23s
August 21, 2023 20:55 23s
Fix rebuilding and extraction bugs for EqSort containers (#191) Deploy Web Demo and Docs #420: Commit f93adcb pushed by mwillsey
August 21, 2023 20:54 2m 0s main
main
August 21, 2023 20:54 2m 0s
Fix rebuilding and extraction bugs for EqSort containers (#191) Build #642: Commit f93adcb pushed by mwillsey
August 21, 2023 20:54 1m 22s main
main
August 21, 2023 20:54 1m 22s
Fix desugaring rules for semi-naive (#197) Build #641: Commit 94c5a7d pushed by mwillsey
August 21, 2023 20:52 1m 43s main
main
August 21, 2023 20:52 1m 43s
Fix desugaring rules for semi-naive (#197) Deploy Web Demo and Docs #419: Commit 94c5a7d pushed by mwillsey
August 21, 2023 20:52 3m 5s main
main
August 21, 2023 20:52 3m 5s
Show parse error's line number and column number Build #640: Pull request #199 opened by hatoo
August 21, 2023 08:34 1m 33s hatoo:parse-error-pos
hatoo:parse-error-pos
August 21, 2023 08:34 1m 33s
Show parse error's line number and column number Deploy Web Demo and Docs #418: Pull request #199 opened by hatoo
August 21, 2023 08:34 2m 48s hatoo:parse-error-pos
hatoo:parse-error-pos
August 21, 2023 08:34 2m 48s
Chore: Update rust-toolchain Build #639: Pull request #198 opened by hatoo
August 21, 2023 05:18 3m 0s hatoo:rust-1.71.1
hatoo:rust-1.71.1
August 21, 2023 05:18 3m 0s
Chore: Update rust-toolchain Deploy Web Demo and Docs #417: Pull request #198 opened by hatoo
August 21, 2023 05:18 4m 32s hatoo:rust-1.71.1
hatoo:rust-1.71.1
August 21, 2023 05:18 4m 32s
Fix desugaring rules for semi-naive Deploy Web Demo and Docs #416: Pull request #197 opened by yihozhang
August 20, 2023 06:41 2m 0s yihozhang:better-seminaive-desugar
yihozhang:better-seminaive-desugar
August 20, 2023 06:41 2m 0s
Fix desugaring rules for semi-naive Build #638: Pull request #197 opened by yihozhang
August 20, 2023 06:41 1m 21s yihozhang:better-seminaive-desugar
yihozhang:better-seminaive-desugar
August 20, 2023 06:41 1m 21s
pages build and deployment pages-build-deployment #185: by github-pages bot
August 19, 2023 23:26 39s
August 19, 2023 23:26 39s
Clean up logging (#195) Deploy Web Demo and Docs #415: Commit a4768b1 pushed by mwillsey
August 19, 2023 23:24 1m 58s main
main
August 19, 2023 23:24 1m 58s