Skip to content

Actions: stanford-centaur/smt-switch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
147 workflow runs
147 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ignore generated Cython files CI #712: Pull request #370 opened by CyanoKobalamyne
January 24, 2025 23:56 24m 39s ignore-cython-files
ignore-cython-files
January 24, 2025 23:56 24m 39s
Ignore generated Cython files CI #711: Commit ec133e1 pushed by CyanoKobalamyne
January 24, 2025 23:56 17m 55s ignore-cython-files
ignore-cython-files
January 24, 2025 23:56 17m 55s
Install cvc5 into deps/install in contrib/setup-cvc5.sh CI #710: Pull request #369 synchronize by CyanoKobalamyne
January 24, 2025 23:50 17m 26s cvc5-contrib-fixes
cvc5-contrib-fixes
January 24, 2025 23:50 17m 26s
Revert "Test installation" CI #709: Commit 40f20b0 pushed by CyanoKobalamyne
January 24, 2025 23:50 13m 48s cvc5-contrib-fixes
cvc5-contrib-fixes
January 24, 2025 23:50 13m 48s
Install cvc5 into deps/install in contrib/setup-cvc5.sh CI #708: Pull request #369 synchronize by CyanoKobalamyne
January 24, 2025 23:43 14m 15s cvc5-contrib-fixes
cvc5-contrib-fixes
January 24, 2025 23:43 14m 15s
Revert "Test installation" CI #707: Commit 52e6fc5 pushed by CyanoKobalamyne
January 24, 2025 23:43 3m 24s cvc5-contrib-fixes
cvc5-contrib-fixes
January 24, 2025 23:43 3m 24s
Install cvc5 into deps/install in contrib/setup-cvc5.sh CI #706: Pull request #369 opened by CyanoKobalamyne
January 24, 2025 23:30 15m 5s cvc5-contrib-fixes
cvc5-contrib-fixes
January 24, 2025 23:30 15m 5s
Add Boolector back to README.md CI #705: Commit efec2f5 pushed by makaimann
December 26, 2024 17:56 13m 58s XpjqK45F427FCI4H
XpjqK45F427FCI4H
December 26, 2024 17:56 13m 58s
Add Boolector back to README.md CI #704: Commit efec2f5 pushed by CyanoKobalamyne
December 4, 2024 04:41 14m 59s main
main
December 4, 2024 04:41 14m 59s
Added fix and test to term translation CI #703: Pull request #367 opened by rachelcleaveland
November 22, 2024 20:44 3m 15s rachelcleaveland:dev-branch
rachelcleaveland:dev-branch
November 22, 2024 20:44 3m 15s
Remove commented out couts (#366) CI #702: Commit c4fdba7 pushed by CyanoKobalamyne
November 22, 2024 02:16 13m 54s main
main
November 22, 2024 02:16 13m 54s
Remove commented out couts. CI #701: Pull request #366 opened by yoni206
November 21, 2024 21:36 13m 53s yoni206:remove_comments
yoni206:remove_comments
November 21, 2024 21:36 13m 53s
Mark internal headers private (#362) CI #700: Commit 7aace66 pushed by CyanoKobalamyne
November 5, 2024 00:22 13m 45s main
main
November 5, 2024 00:22 13m 45s
Clean header includes CI #699: Pull request #364 opened by CyanoKobalamyne
October 31, 2024 00:47 1m 41s header-clean
header-clean
October 31, 2024 00:47 1m 41s
Clean header includes CI #698: Commit dc498ac pushed by CyanoKobalamyne
October 31, 2024 00:45 1m 39s header-clean
header-clean
October 31, 2024 00:45 1m 39s
Ignore generated Cython files CI #697: Pull request #363 opened by CyanoKobalamyne
October 31, 2024 00:34 14m 55s ignore-generated-python
ignore-generated-python
October 31, 2024 00:34 14m 55s
Ignore generated Cython files CI #696: Commit 333895d pushed by CyanoKobalamyne
October 31, 2024 00:34 14m 1s ignore-generated-python
ignore-generated-python
October 31, 2024 00:34 14m 1s
Mark internal headers private CI #695: Pull request #362 opened by CyanoKobalamyne
October 30, 2024 23:36 14m 10s mark-private-headers
mark-private-headers
October 30, 2024 23:36 14m 10s
Mark internal headers private CI #694: Commit 205e0df pushed by CyanoKobalamyne
October 30, 2024 23:26 14m 8s mark-private-headers
mark-private-headers
October 30, 2024 23:26 14m 8s
Don't install gmp in CI on macOs (#361) CI #693: Commit d9fd584 pushed by CyanoKobalamyne
October 30, 2024 22:26 14m 24s main
main
October 30, 2024 22:26 14m 24s
Update checkout action in CI (#360) CI #692: Commit ee6e16c pushed by CyanoKobalamyne
October 30, 2024 22:12 17m 45s main
main
October 30, 2024 22:12 17m 45s
Don't install gmp in CI on macOs CI #691: Pull request #361 opened by CyanoKobalamyne
October 30, 2024 21:57 25m 2s ci-macos-no-install-gmp
ci-macos-no-install-gmp
October 30, 2024 21:57 25m 2s
Don't install gmp in CI on macOs CI #690: Commit dc285b9 pushed by CyanoKobalamyne
October 30, 2024 21:56 21m 39s ci-macos-no-install-gmp
ci-macos-no-install-gmp
October 30, 2024 21:56 21m 39s
Update checkout action in CI CI #689: Pull request #360 opened by CyanoKobalamyne
October 30, 2024 21:54 15m 18s ci-checkout-v4
ci-checkout-v4
October 30, 2024 21:54 15m 18s
Update checkout action in CI CI #688: Commit a509a1e pushed by CyanoKobalamyne
October 30, 2024 21:53 14m 14s ci-checkout-v4
ci-checkout-v4
October 30, 2024 21:53 14m 14s