Skip to content

Actions: egraphs-good/egglog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,507 workflow runs
1,507 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Expose EgglogSpan publicly and add debug to spans Deploy Web Demo and Docs #1425: Pull request #522 opened by saulshanabrook
February 17, 2025 15:27 1m 37s saulshanabrook:python-compat
saulshanabrook:python-compat
February 17, 2025 15:27 1m 37s
Expose EgglogSpan publicly and add debug to spans Build #1647: Pull request #522 opened by saulshanabrook
February 17, 2025 15:27 13m 42s saulshanabrook:python-compat
saulshanabrook:python-compat
February 17, 2025 15:27 13m 42s
Add option for a prompt on the CLI Deploy Web Demo and Docs #1424: Pull request #518 synchronize by gussmith23
February 16, 2025 13:00 1m 30s gussmith23:gussmith23-prompt
gussmith23:gussmith23-prompt
February 16, 2025 13:00 1m 30s
Add option for a prompt on the CLI Build #1646: Pull request #518 synchronize by gussmith23
February 16, 2025 13:00 12m 57s gussmith23:gussmith23-prompt
gussmith23:gussmith23-prompt
February 16, 2025 13:00 12m 57s
Include serialization in benchmarking Deploy Web Demo and Docs #1423: Pull request #521 opened by saulshanabrook
February 14, 2025 21:38 1m 30s saulshanabrook:benchmark-serialization
saulshanabrook:benchmark-serialization
February 14, 2025 21:38 1m 30s
Include serialization in benchmarking Build #1645: Pull request #521 opened by saulshanabrook
February 14, 2025 21:38 2h 12m 25s saulshanabrook:benchmark-serialization
saulshanabrook:benchmark-serialization
February 14, 2025 21:38 2h 12m 25s
remoe arc Build #1644: Commit 2a4bc65 pushed by oflatt
February 11, 2025 21:39 19m 38s oflatt-remove-arc
oflatt-remove-arc
February 11, 2025 21:39 19m 38s
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
Faster Serialization and Benchmark Serialization Build #1643: Pull request #520 synchronize by oflatt
February 11, 2025 21:00 20m 35s oflatt-faster-serialize
oflatt-faster-serialize
February 11, 2025 21:00 20m 35s
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
nits Build #1642: Commit 161a36f pushed by oflatt
February 11, 2025 21:00 19m 44s oflatt-faster-serialize
oflatt-faster-serialize
February 11, 2025 21:00 19m 44s
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
Faster Serialization and Benchmark Serialization Build #1641: Pull request #520 opened by oflatt
February 11, 2025 21:00 19m 46s oflatt-faster-serialize
oflatt-faster-serialize
February 11, 2025 21:00 19m 46s
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
serialize and benchmark it Build #1640: Commit 0b94344 pushed by oflatt
February 11, 2025 20:59 19m 34s oflatt-faster-serialize
oflatt-faster-serialize
February 11, 2025 20:59 19m 34s
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 Build #1639: Pull request #518 synchronize by gussmith23
February 4, 2025 15:17 11m 34s gussmith23:gussmith23-prompt
gussmith23:gussmith23-prompt
February 4, 2025 15:17 11m 34s
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
Add option for a prompt on the CLI Build #1638: Pull request #518 opened by gussmith23
February 4, 2025 15:15 11m 53s gussmith23:gussmith23-prompt
gussmith23:gussmith23-prompt
February 4, 2025 15:15 11m 53s
pages build and deployment pages-build-deployment #364: by github-pages bot
February 3, 2025 20:39 22s gh-pages
gh-pages
February 3, 2025 20:39 22s
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 (#517) Build #1637: Commit 215714e pushed by yihozhang
February 3, 2025 20:38 11m 42s main
main
February 3, 2025 20:38 11m 42s
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
Thread-safe EGraph struct Build #1636: Pull request #517 synchronize by yihozhang
February 3, 2025 20:34 12m 11s yihozhang-thread-safe-egraph
yihozhang-thread-safe-egraph
February 3, 2025 20:34 12m 11s