Skip to content

Actions: stanford-centaur/smt-switch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
335 workflow runs
335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Activate virtualenv for more steps CI #722: Commit c428acd pushed by makaimann
February 16, 2025 02:20 2m 47s setuptools
setuptools
February 16, 2025 02:20 2m 47s
Add python subdirectory to include dirs CI #721: Commit 4fa6cef pushed by makaimann
February 16, 2025 02:18 2m 36s setuptools
setuptools
February 16, 2025 02:18 2m 36s
Try activating in the configure step CI #720: Commit 05ec9b4 pushed by makaimann
February 16, 2025 02:09 2m 40s setuptools
setuptools
February 16, 2025 02:09 2m 40s
Add special function to look for a virtualenv Python CI #719: Commit 8e20b5f pushed by makaimann
February 16, 2025 02:04 2m 20s setuptools
setuptools
February 16, 2025 02:04 2m 20s
Update Python dependencies CI #718: Commit 71fab65 pushed by makaimann
February 16, 2025 01:38 2m 10s setuptools
setuptools
February 16, 2025 01:38 2m 10s
More fixes CI #717: Commit 5025ac4 pushed by makaimann
February 16, 2025 01:32 2m 17s setuptools
setuptools
February 16, 2025 01:32 2m 17s
bitwuzla: Do not error when option incremental is set to false. (#371) CI #716: Commit 5d73b6d pushed by yoni206
February 14, 2025 15:32 14m 16s main
main
February 14, 2025 15:32 14m 16s
bitwuzla: Do not error when option incremental is set to false. CI #715: Pull request #371 opened by aniemetz
February 13, 2025 23:55 13m 32s aniemetz:bitwuzla-inc
aniemetz:bitwuzla-inc
February 13, 2025 23:55 13m 32s
Add target for generationg solver constructors, fix imports, and add … CI #714: Commit 55d8b61 pushed by makaimann
February 11, 2025 02:30 1m 52s setuptools
setuptools
February 11, 2025 02:30 1m 52s
Ignore generated Cython files (#370) CI #713: Commit 7966c78 pushed by CyanoKobalamyne
January 29, 2025 05:43 13m 26s main
main
January 29, 2025 05:43 13m 26s
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