Skip to content

Actions: RockingMat/egglog-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Copilot code review Copilot code review #2: by Copilot AI
1m 35s refs/pull/28/head
refs/pull/28/head
1m 35s
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
Copilot code review Copilot code review #1: by Copilot AI
3m 38s refs/pull/26/head
refs/pull/26/head
3m 38s
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