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
727 workflow runs
727 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into yihozhang-fix-subsume2 Deploy Web Demo and Docs #1322: Commit 2f3a6c3 pushed by saulshanabrook
December 26, 2024 19:29 1m 14s yihozhang-fix-subsume2
yihozhang-fix-subsume2
December 26, 2024 19:29 1m 14s
fix by changing the expectation Deploy Web Demo and Docs #1321: Commit 9684208 pushed by saulshanabrook
December 26, 2024 19:28 1m 9s yihozhang-fix-subsume2
yihozhang-fix-subsume2
December 26, 2024 19:28 1m 9s
Subsume should succeed even when the tuple is not present Deploy Web Demo and Docs #1320: Pull request #487 synchronize by saulshanabrook
December 26, 2024 19:27 55s yihozhang-fix-subsume2
yihozhang-fix-subsume2
December 26, 2024 19:27 55s
Merge branch 'main' into yihozhang-fix-subsume2 Deploy Web Demo and Docs #1319: Commit 4820561 pushed by saulshanabrook
December 26, 2024 19:27 57s yihozhang-fix-subsume2
yihozhang-fix-subsume2
December 26, 2024 19:27 57s
Merge pull request #500 from RiscInside/iurii/rule-names Deploy Web Demo and Docs #1318: Commit ca4f533 pushed by Alex-Fischman
December 26, 2024 18:57 1m 2s main
main
December 26, 2024 18:57 1m 2s
Preserve rule names Deploy Web Demo and Docs #1317: Pull request #500 opened by RiscInside
December 26, 2024 14:47 1m 20s RiscInside:iurii/rule-names
RiscInside:iurii/rule-names
December 26, 2024 14:47 1m 20s
Replace DUMMY_SPAN with Span::Panic and Span::Rust Deploy Web Demo and Docs #1316: Pull request #498 synchronize by Alex-Fischman
December 26, 2024 04:18 59s Alex-Fischman:span-macro
Alex-Fischman:span-macro
December 26, 2024 04:18 59s
Replace DUMMY_SPAN with Span::Panic and Span::Rust Deploy Web Demo and Docs #1315: Pull request #498 synchronize by Alex-Fischman
December 23, 2024 19:11 1m 5s Alex-Fischman:span-macro
Alex-Fischman:span-macro
December 23, 2024 19:11 1m 5s
Replace DUMMY_SPAN with Span::Panic and Span::Rust Deploy Web Demo and Docs #1314: Pull request #498 synchronize by Alex-Fischman
December 23, 2024 19:09 1m 6s Alex-Fischman:span-macro
Alex-Fischman:span-macro
December 23, 2024 19:09 1m 6s
Merge pull request #497 from Alex-Fischman/sexp-parser Deploy Web Demo and Docs #1313: Commit cb44ce9 pushed by Alex-Fischman
December 23, 2024 19:06 1m 24s main
main
December 23, 2024 19:06 1m 24s
Impls BigRat pow for negative powers Deploy Web Demo and Docs #1312: Pull request #499 opened by rtzam
December 22, 2024 18:40 1m 23s rtzam:fixes-bigrat-pow
rtzam:fixes-bigrat-pow
December 22, 2024 18:40 1m 23s
Make parser extensible Deploy Web Demo and Docs #1311: Pull request #497 synchronize by Alex-Fischman
December 18, 2024 01:36 2m 34s Alex-Fischman:sexp-parser
Alex-Fischman:sexp-parser
December 18, 2024 01:36 2m 34s
Make parser extensible Deploy Web Demo and Docs #1310: Pull request #497 synchronize by Alex-Fischman
December 18, 2024 00:34 34s Alex-Fischman:sexp-parser
Alex-Fischman:sexp-parser
December 18, 2024 00:34 34s
Make parser extensible Deploy Web Demo and Docs #1309: Pull request #497 synchronize by Alex-Fischman
December 18, 2024 00:19 35s Alex-Fischman:sexp-parser
Alex-Fischman:sexp-parser
December 18, 2024 00:19 35s
Replace DUMMY_SPAN with Span::Panic and Span::Rust Deploy Web Demo and Docs #1308: Pull request #498 synchronize by Alex-Fischman
December 18, 2024 00:02 59s Alex-Fischman:span-macro
Alex-Fischman:span-macro
December 18, 2024 00:02 59s
Replace DUMMY_SPAN with Span::Panic and Span::Rust Deploy Web Demo and Docs #1307: Pull request #498 opened by Alex-Fischman
December 17, 2024 22:16 1m 4s Alex-Fischman:span-macro
Alex-Fischman:span-macro
December 17, 2024 22:16 1m 4s
Make parser extensible Deploy Web Demo and Docs #1306: Pull request #497 synchronize by Alex-Fischman
December 17, 2024 04:39 1m 5s Alex-Fischman:sexp-parser
Alex-Fischman:sexp-parser
December 17, 2024 04:39 1m 5s
Make parser extensible Deploy Web Demo and Docs #1305: Pull request #497 synchronize by Alex-Fischman
December 16, 2024 22:54 1m 7s Alex-Fischman:sexp-parser
Alex-Fischman:sexp-parser
December 16, 2024 22:54 1m 7s
Merge pull request #492 from saulshanabrook/vec-benchmark Deploy Web Demo and Docs #1304: Commit faeabbc pushed by saulshanabrook
December 16, 2024 18:57 1m 28s main
main
December 16, 2024 18:57 1m 28s
Test extraction of vecs & allow disabling messages for performance Deploy Web Demo and Docs #1303: Pull request #492 synchronize by saulshanabrook
December 16, 2024 15:38 1m 2s saulshanabrook:vec-benchmark
saulshanabrook:vec-benchmark
December 16, 2024 15:38 1m 2s
Test extraction of vecs & allow disabling messages for performance Deploy Web Demo and Docs #1302: Pull request #492 synchronize by saulshanabrook
December 16, 2024 15:32 1m 4s saulshanabrook:vec-benchmark
saulshanabrook:vec-benchmark
December 16, 2024 15:32 1m 4s
Test extraction of vecs & allow disabling messages for performance Deploy Web Demo and Docs #1301: Pull request #492 synchronize by saulshanabrook
December 16, 2024 15:18 1m 5s saulshanabrook:vec-benchmark
saulshanabrook:vec-benchmark
December 16, 2024 15:18 1m 5s
Merge pull request #494 from Alex-Fischman/sexp-parser Deploy Web Demo and Docs #1300: Commit 2f5d841 pushed by Alex-Fischman
December 13, 2024 23:21 1m 15s main
main
December 13, 2024 23:21 1m 15s
Use SmallVec::from_slice instead of .into() (#490) Deploy Web Demo and Docs #1299: Commit eba62a5 pushed by yihozhang
December 13, 2024 22:42 1m 4s main
main
December 13, 2024 22:42 1m 4s
Refactor sort extraction API (#495) Deploy Web Demo and Docs #1298: Commit 197103d pushed by yihozhang
December 13, 2024 22:40 1m 24s main
main
December 13, 2024 22:40 1m 24s