Skip to content

Actions: egraphs-good/egglog

Actions

Deploy Web Demo and Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
98 workflow run results
98 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minor termdag changes Deploy Web Demo and Docs #431: Pull request #194 synchronize by saulshanabrook
August 22, 2023 19:33 2m 34s saulshanabrook:termdag-patches
saulshanabrook:termdag-patches
August 22, 2023 19:33 2m 34s
Minor termdag changes Deploy Web Demo and Docs #430: Pull request #194 synchronize by saulshanabrook
August 22, 2023 19:30 1m 23s saulshanabrook:termdag-patches
saulshanabrook:termdag-patches
August 22, 2023 19:30 1m 23s
Make TermDag indices opaque, write tests for TermDag Deploy Web Demo and Docs #429: Pull request #202 opened by wilcoxjay
August 22, 2023 05:09 2m 0s wilcoxjay:jrw/test-termdag
wilcoxjay:jrw/test-termdag
August 22, 2023 05:09 2m 0s
Document src/termdag.rs (#200) Deploy Web Demo and Docs #428: Commit 0f777d6 pushed by mwillsey
August 22, 2023 04:20 2m 24s main
main
August 22, 2023 04:20 2m 24s
Fix parsing error message (#201) Deploy Web Demo and Docs #427: Commit bb38d35 pushed by mwillsey
August 22, 2023 04:19 2m 17s main
main
August 22, 2023 04:19 2m 17s
Fix parsing error message fix #199 Deploy Web Demo and Docs #426: Pull request #201 opened by hatoo
August 22, 2023 03:09 3m 3s hatoo:fix-parse-error-proofs-mode
hatoo:fix-parse-error-proofs-mode
August 22, 2023 03:09 3m 3s
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 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 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
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
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
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 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 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 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
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
Clean up logging Deploy Web Demo and Docs #414: Pull request #195 synchronize by yihozhang
August 19, 2023 23:21 2m 4s yihozhang:fix-extraction-web-demo
yihozhang:fix-extraction-web-demo
August 19, 2023 23:21 2m 4s
Clean up logging Deploy Web Demo and Docs #413: Pull request #195 opened by yihozhang
August 19, 2023 00:08 2m 5s yihozhang:fix-extraction-web-demo
yihozhang:fix-extraction-web-demo
August 19, 2023 00:08 2m 5s
Fix rebuilding and extraction bugs for EqSort containers Deploy Web Demo and Docs #412: Pull request #191 synchronize by yihozhang
August 18, 2023 19:17 2m 39s yihozhang:fix-container-rebuild
yihozhang:fix-container-rebuild
August 18, 2023 19:17 2m 39s
Fix rebuilding and extraction bugs for EqSort containers Deploy Web Demo and Docs #411: Pull request #191 synchronize by yihozhang
August 17, 2023 20:03 2m 1s yihozhang:fix-container-rebuild
yihozhang:fix-container-rebuild
August 17, 2023 20:03 2m 1s
Fix rebuilding and extraction bugs for EqSort containers Deploy Web Demo and Docs #410: Pull request #191 synchronize by yihozhang
August 17, 2023 19:59 2m 2s yihozhang:fix-container-rebuild
yihozhang:fix-container-rebuild
August 17, 2023 19:59 2m 2s
Minor termdag changes Deploy Web Demo and Docs #409: Pull request #194 opened by saulshanabrook
August 17, 2023 17:25 1m 16s saulshanabrook:termdag-patches
saulshanabrook:termdag-patches
August 17, 2023 17:25 1m 16s
Add to-string function for floats and ints (#190) Deploy Web Demo and Docs #408: Commit 3f7c3fe pushed by mwillsey
August 17, 2023 14:57 3m 32s main
main
August 17, 2023 14:57 3m 32s
Exposes visualizations in CLI and in the web (#186) Deploy Web Demo and Docs #407: Commit 6df6513 pushed by mwillsey
August 17, 2023 14:56 3m 5s main
main
August 17, 2023 14:56 3m 5s