Skip to content

Actions: egraphs-good/egglog

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
727 workflow runs
727 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 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 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 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 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 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
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 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
simplify code Build #1635: Commit 61f5adc pushed by yihozhang
February 3, 2025 20:34 11m 37s yihozhang-thread-safe-egraph
yihozhang-thread-safe-egraph
February 3, 2025 20:34 11m 37s
Merge pull request #487 from egraphs-good/yihozhang-fix-subsume2 Build #1634: Commit 9e6ecb6 pushed by saulshanabrook
February 3, 2025 11:12 13m 48s main
main
February 3, 2025 11:12 13m 48s
Subsume should succeed even when the tuple is not present Build #1633: Pull request #487 synchronize by yihozhang
January 31, 2025 01:10 12m 34s yihozhang-fix-subsume2
yihozhang-fix-subsume2
January 31, 2025 01:10 12m 34s
feedback Build #1632: Commit 3ad8d7d pushed by yihozhang
January 31, 2025 01:10 12m 38s yihozhang-fix-subsume2
yihozhang-fix-subsume2
January 31, 2025 01:10 12m 38s
Thread-safe EGraph struct Build #1631: Pull request #517 opened by yihozhang
January 31, 2025 00:36 12m 48s yihozhang-thread-safe-egraph
yihozhang-thread-safe-egraph
January 31, 2025 00:36 12m 48s
thread safe Build #1630: Commit f073ccc pushed by yihozhang
January 31, 2025 00:23 12m 23s yihozhang-thread-safe-egraph
yihozhang-thread-safe-egraph
January 31, 2025 00:23 12m 23s
Typechecker tests for variable shadowing Build #1629: Pull request #330 synchronize by oflatt
January 29, 2025 17:02 11m 45s oflatt:oflatt-shadow-tests2
oflatt:oflatt-shadow-tests2
January 29, 2025 17:02 11m 45s
second attempt releasing (#515) Build #1628: Commit 71ecd99 pushed by yihozhang
January 21, 2025 18:44 11m 58s main
main
January 21, 2025 18:44 11m 58s
second attempt releasing 0.4.0 Build #1627: Pull request #515 opened by yihozhang
January 21, 2025 01:54 11m 24s release-0.4.0-second-attempt
release-0.4.0-second-attempt
January 21, 2025 01:54 11m 24s
second attempt releasing Build #1626: Commit a938445 pushed by yihozhang
January 21, 2025 01:51 11m 20s release-0.4.0-second-attempt
release-0.4.0-second-attempt
January 21, 2025 01:51 11m 20s
Build Build #1625: by yihozhang
January 21, 2025 01:50 11m 25s v0.4.0
v0.4.0
January 21, 2025 01:50 11m 25s
Prepare for v0.4.0 (#513) Build #1624: Commit b44ba49 pushed by yihozhang
January 21, 2025 01:46 11m 41s main
main
January 21, 2025 01:46 11m 41s
Prepare for v0.4.0 Build #1623: Pull request #513 synchronize by yihozhang
January 21, 2025 01:46 11m 30s release-0.4.0
release-0.4.0
January 21, 2025 01:46 11m 30s
tweaks Build #1622: Commit 693684d pushed by yihozhang
January 21, 2025 01:46 11m 27s release-0.4.0
release-0.4.0
January 21, 2025 01:46 11m 27s
Merge pull request #514 from julianjumper/main Build #1621: Commit 526869b pushed by Alex-Fischman
January 20, 2025 04:19 11m 26s main
main
January 20, 2025 04:19 11m 26s