Skip to content

Actions: RockingMat/egglog-smt

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
102 workflow runs
102 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add files via upload Build #102: Commit 25b9b3d pushed by saulshanabrook
1m 6s main
main
1m 6s
Merge branch 'lecture-example' Build #101: Commit dc873e3 pushed by RockingMat
1m 3s main
main
1m 3s
update readme Build #100: Commit 8760d54 pushed by noahhuck
1m 10s main
main
1m 10s
Merge pull request #28 from egraphs-good/examples Build #99: Commit c076a0e pushed by marko-subotic
1m 6s main
main
1m 6s
Show how to run tests in readme as well Build #98: Pull request #28 opened by saulshanabrook
58s egraphs-good:examples
egraphs-good:examples
58s
Merge pull request #27 from RockingMat/rearranging-bench-fixes Build #97: Commit 22e594a pushed by saulshanabrook
1m 3s main
main
1m 3s
fix rearranging bench Build #96: Pull request #27 synchronize by marko-subotic
1m 5s rearranging-bench-fixes
rearranging-bench-fixes
1m 5s
update readme Build #95: Commit cf9f064 pushed by marko-subotic
1m 9s rearranging-bench-fixes
rearranging-bench-fixes
1m 9s
fix rearranging bench Build #94: Pull request #27 opened by marko-subotic
1m 7s rearranging-bench-fixes
rearranging-bench-fixes
1m 7s
fix rearranging bench Build #93: Commit 80f3410 pushed by marko-subotic
1m 17s rearranging-bench-fixes
rearranging-bench-fixes
1m 17s
Merge pull request #26 from egraphs-good/user-defined-sorts Build #92: Commit e1ffd0a pushed by saulshanabrook
2m 4s main
main
2m 4s
Add math example Build #91: Pull request #26 synchronize by saulshanabrook
58s egraphs-good:user-defined-sorts
egraphs-good:user-defined-sorts
58s
Add math example Build #90: Pull request #26 synchronize by saulshanabrook
1m 22s egraphs-good:user-defined-sorts
egraphs-good:user-defined-sorts
1m 22s
Add math example Build #89: Pull request #26 synchronize by saulshanabrook
2m 15s egraphs-good:user-defined-sorts
egraphs-good:user-defined-sorts
2m 15s
Add math example Build #88: Pull request #26 synchronize by saulshanabrook
1m 40s egraphs-good:user-defined-sorts
egraphs-good:user-defined-sorts
1m 40s
Add math example Build #87: Pull request #26 opened by saulshanabrook
1m 34s egraphs-good:user-defined-sorts
egraphs-good:user-defined-sorts
1m 34s
don't panic on unsupported smt models Build #86: Commit 66da0f8 pushed by noahhuck
1m 11s main
main
1m 11s
Merge pull request #24 from RockingMat/PolynomialEqualityBench Build #85: Commit a0f2907 pushed by saulshanabrook
1m 15s main
main
1m 15s
starting uf real Build #84: Commit 5d30bd2 pushed by marko-subotic
33s UFReal
UFReal
33s
comment expected results for factoring demo Build #83: Commit 8eb3a41 pushed by noahhuck
1m 25s main
main
1m 25s
Merge pull request #25 from RockingMat/poly-factor Build #82: Commit 138918c pushed by saulshanabrook
2m 29s main
main
2m 29s
polynomial factoring demo Build #81: Pull request #25 synchronize by noahhuck
2m 43s poly-factor
poly-factor
2m 43s
Merge branch 'main' into poly-factor Build #80: Commit 7f838ab pushed by noahhuck
1m 16s poly-factor
poly-factor
1m 16s
remove old factoring Build #79: Commit f7781a1 pushed by noahhuck
1m 9s poly-factor
poly-factor
1m 9s
nvm, now done Build #78: Commit 4b788c2 pushed by noahhuck
1m 11s poly-factor
poly-factor
1m 11s