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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remoe arc Deploy Web Demo and Docs #1422: Commit 2a4bc65 pushed by oflatt
February 11, 2025 21:39 57s oflatt-remove-arc
oflatt-remove-arc
February 11, 2025 21:39 57s
Faster Serialization and Benchmark Serialization Deploy Web Demo and Docs #1421: Pull request #520 synchronize by oflatt
February 11, 2025 21:00 54s oflatt-faster-serialize
oflatt-faster-serialize
February 11, 2025 21:00 54s
nits Deploy Web Demo and Docs #1420: Commit 161a36f pushed by oflatt
February 11, 2025 21:00 1m 1s oflatt-faster-serialize
oflatt-faster-serialize
February 11, 2025 21:00 1m 1s
Faster Serialization and Benchmark Serialization Deploy Web Demo and Docs #1419: Pull request #520 opened by oflatt
February 11, 2025 21:00 1m 4s oflatt-faster-serialize
oflatt-faster-serialize
February 11, 2025 21:00 1m 4s
serialize and benchmark it Deploy Web Demo and Docs #1418: Commit 0b94344 pushed by oflatt
February 11, 2025 20:59 1m 2s oflatt-faster-serialize
oflatt-faster-serialize
February 11, 2025 20:59 1m 2s
Add option for a prompt on the CLI Deploy Web Demo and Docs #1417: Pull request #518 synchronize by gussmith23
February 4, 2025 15:17 1m 15s gussmith23:gussmith23-prompt
gussmith23:gussmith23-prompt
February 4, 2025 15:17 1m 15s
Add option for a prompt on the CLI Deploy Web Demo and Docs #1416: Pull request #518 opened by gussmith23
February 4, 2025 15:15 57s gussmith23:gussmith23-prompt
gussmith23:gussmith23-prompt
February 4, 2025 15:15 57s
Thread-safe EGraph struct (#517) Deploy Web Demo and Docs #1415: Commit 215714e pushed by yihozhang
February 3, 2025 20:38 1m 0s main
main
February 3, 2025 20:38 1m 0s
Thread-safe EGraph struct Deploy Web Demo and Docs #1414: Pull request #517 synchronize by yihozhang
February 3, 2025 20:34 1m 3s yihozhang-thread-safe-egraph
yihozhang-thread-safe-egraph
February 3, 2025 20:34 1m 3s
simplify code Deploy Web Demo and Docs #1413: Commit 61f5adc pushed by yihozhang
February 3, 2025 20:34 58s yihozhang-thread-safe-egraph
yihozhang-thread-safe-egraph
February 3, 2025 20:34 58s
Merge pull request #487 from egraphs-good/yihozhang-fix-subsume2 Deploy Web Demo and Docs #1412: Commit 9e6ecb6 pushed by saulshanabrook
February 3, 2025 11:12 1m 39s main
main
February 3, 2025 11:12 1m 39s
Subsume should succeed even when the tuple is not present Deploy Web Demo and Docs #1411: Pull request #487 synchronize by yihozhang
January 31, 2025 01:10 1m 37s yihozhang-fix-subsume2
yihozhang-fix-subsume2
January 31, 2025 01:10 1m 37s
feedback Deploy Web Demo and Docs #1410: Commit 3ad8d7d pushed by yihozhang
January 31, 2025 01:10 1m 32s yihozhang-fix-subsume2
yihozhang-fix-subsume2
January 31, 2025 01:10 1m 32s
Thread-safe EGraph struct Deploy Web Demo and Docs #1409: Pull request #517 opened by yihozhang
January 31, 2025 00:36 1m 38s yihozhang-thread-safe-egraph
yihozhang-thread-safe-egraph
January 31, 2025 00:36 1m 38s
thread safe Deploy Web Demo and Docs #1408: Commit f073ccc pushed by yihozhang
January 31, 2025 00:23 1m 34s yihozhang-thread-safe-egraph
yihozhang-thread-safe-egraph
January 31, 2025 00:23 1m 34s
Typechecker tests for variable shadowing Deploy Web Demo and Docs #1407: Pull request #330 synchronize by oflatt
January 29, 2025 17:02 1m 33s oflatt:oflatt-shadow-tests2
oflatt:oflatt-shadow-tests2
January 29, 2025 17:02 1m 33s
second attempt releasing (#515) Deploy Web Demo and Docs #1406: Commit 71ecd99 pushed by yihozhang
January 21, 2025 18:44 1m 8s main
main
January 21, 2025 18:44 1m 8s
second attempt releasing 0.4.0 Deploy Web Demo and Docs #1405: Pull request #515 opened by yihozhang
January 21, 2025 01:54 1m 1s release-0.4.0-second-attempt
release-0.4.0-second-attempt
January 21, 2025 01:54 1m 1s
second attempt releasing Deploy Web Demo and Docs #1404: Commit a938445 pushed by yihozhang
January 21, 2025 01:51 50s release-0.4.0-second-attempt
release-0.4.0-second-attempt
January 21, 2025 01:51 50s
Deploy Web Demo and Docs Deploy Web Demo and Docs #1403: by yihozhang
January 21, 2025 01:50 52s v0.4.0
v0.4.0
January 21, 2025 01:50 52s
Prepare for v0.4.0 (#513) Deploy Web Demo and Docs #1402: Commit b44ba49 pushed by yihozhang
January 21, 2025 01:46 53s main
main
January 21, 2025 01:46 53s
Prepare for v0.4.0 Deploy Web Demo and Docs #1401: Pull request #513 synchronize by yihozhang
January 21, 2025 01:46 1m 0s release-0.4.0
release-0.4.0
January 21, 2025 01:46 1m 0s
tweaks Deploy Web Demo and Docs #1400: Commit 693684d pushed by yihozhang
January 21, 2025 01:46 1m 4s release-0.4.0
release-0.4.0
January 21, 2025 01:46 1m 4s
Merge pull request #514 from julianjumper/main Deploy Web Demo and Docs #1399: Commit 526869b pushed by Alex-Fischman
January 20, 2025 04:19 1m 2s main
main
January 20, 2025 04:19 1m 2s
[#512] set-of instead of set-insert Deploy Web Demo and Docs #1398: Pull request #514 opened by julianjumper
January 19, 2025 06:57 57s julianjumper:main
julianjumper:main
January 19, 2025 06:57 57s