Skip to content

Actions: stanford-centaur/smt-switch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
153 workflow runs
153 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Install cvc5 in alternate location CI #687: Commit e6c12e6 pushed by CyanoKobalamyne
October 30, 2024 21:24 14m 19s ci-static-build
ci-static-build
October 30, 2024 21:24 14m 19s
Upgrade Cython for Python 3.13 compatibility (#359) CI #686: Commit 872acbf pushed by CyanoKobalamyne
October 30, 2024 17:56 13m 42s main
main
October 30, 2024 17:56 13m 42s
Test only cvc5 CI #685: Commit 4884777 pushed by CyanoKobalamyne
October 30, 2024 06:13 1h 50m 21s ci-static-build
ci-static-build
October 30, 2024 06:13 1h 50m 21s
Upgrade Cython for Python 3.13 compatibility CI #684: Pull request #359 opened by CyanoKobalamyne
October 30, 2024 06:13 3m 54s cython-py3.13-upgrade
cython-py3.13-upgrade
October 30, 2024 06:13 3m 54s
Upgrade Cython for Python 3.13 compatibility CI #683: Commit 1e9d7b9 pushed by CyanoKobalamyne
October 30, 2024 06:08 13m 56s cython-py3.13-upgrade
cython-py3.13-upgrade
October 30, 2024 06:08 13m 56s
Upgrade Cython for Python 3.13 compatibility CI #682: Commit c574f85 pushed by CyanoKobalamyne
October 29, 2024 23:11 14m 14s ci-static-build
ci-static-build
October 29, 2024 23:11 14m 14s
Print Python version CI #681: Commit d78d6e6 pushed by CyanoKobalamyne
October 29, 2024 23:02 8m 40s ci-static-build
ci-static-build
October 29, 2024 23:02 8m 40s
Test only cvc5 CI #680: Commit 3ab70ce pushed by CyanoKobalamyne
October 29, 2024 22:10 9m 14s ci-static-build
ci-static-build
October 29, 2024 22:10 9m 14s
Test only cvc5 CI #679: Commit ca65ffb pushed by CyanoKobalamyne
October 29, 2024 20:54 2s ci-static-build
ci-static-build
October 29, 2024 20:54 2s