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

Support all currently existing bitwuzla options CI #672: Pull request #355 synchronize by CyanoKobalamyne
October 9, 2024 18:06 17m 49s bitwuzla-options
bitwuzla-options
October 9, 2024 18:06 17m 49s
Do not set options twice CI #671: Commit 413f734 pushed by CyanoKobalamyne
October 9, 2024 18:06 13m 52s bitwuzla-options
bitwuzla-options
October 9, 2024 18:06 13m 52s
Support all currently existing bitwuzla options CI #670: Pull request #355 synchronize by CyanoKobalamyne
October 9, 2024 17:55 3m 40s bitwuzla-options
bitwuzla-options
October 9, 2024 17:55 3m 40s
Remove all non-special cases CI #669: Commit d4abf3b pushed by CyanoKobalamyne
October 9, 2024 17:55 3m 15s bitwuzla-options
bitwuzla-options
October 9, 2024 17:55 3m 15s
Fix processor core count calculation for Mac (#357) CI #668: Commit 5b313f4 pushed by yoni206
October 9, 2024 06:07 13m 57s main
main
October 9, 2024 06:07 13m 57s
Fix processor core count calculation for Mac CI #667: Pull request #357 opened by CyanoKobalamyne
October 8, 2024 18:37 20m 23s nproc-mac
nproc-mac
October 8, 2024 18:37 20m 23s
Fix processor core count calculation for Mac CI #666: Commit 2dc43e3 pushed by CyanoKobalamyne
October 8, 2024 18:37 14m 10s nproc-mac
nproc-mac
October 8, 2024 18:37 14m 10s
Add export pragmas to smt.h CI #665: Pull request #356 opened by CyanoKobalamyne
October 8, 2024 16:47 19m 31s iwyu-pragma
iwyu-pragma
October 8, 2024 16:47 19m 31s
Add export pragmas to smt.h CI #664: Commit 8187038 pushed by CyanoKobalamyne
October 8, 2024 16:46 12m 29s iwyu-pragma
iwyu-pragma
October 8, 2024 16:46 12m 29s
Support all currently existing bitwuzla options CI #663: Pull request #355 opened by CyanoKobalamyne
October 8, 2024 06:13 17m 27s bitwuzla-options
bitwuzla-options
October 8, 2024 06:13 17m 27s
Support all currently existing bitwuzla options CI #662: Commit 2606a2e pushed by CyanoKobalamyne
October 8, 2024 06:13 13m 16s bitwuzla-options
bitwuzla-options
October 8, 2024 06:13 13m 16s
Fix deps directory creation (#354) CI #661: Commit 1f708c2 pushed by CyanoKobalamyne
August 31, 2024 08:28 13m 20s main
main
August 31, 2024 08:28 13m 20s
Fix deps directory creation CI #660: Pull request #354 synchronize by CyanoKobalamyne
August 30, 2024 22:25 34m 30s bitwuzla-dep-dir-fix
bitwuzla-dep-dir-fix
August 30, 2024 22:25 34m 30s
Remove spaces CI #659: Commit 1b60bb2 pushed by CyanoKobalamyne
August 30, 2024 22:25 21m 55s bitwuzla-dep-dir-fix
bitwuzla-dep-dir-fix
August 30, 2024 22:25 21m 55s
Fix deps directory creation CI #658: Pull request #354 opened by CyanoKobalamyne
August 30, 2024 22:25 16m 54s bitwuzla-dep-dir-fix
bitwuzla-dep-dir-fix
August 30, 2024 22:25 16m 54s
Fix deps directory creation CI #657: Commit a395d1e pushed by CyanoKobalamyne
August 30, 2024 22:23 14m 32s bitwuzla-dep-dir-fix
bitwuzla-dep-dir-fix
August 30, 2024 22:23 14m 32s
Update bitwuzla version to bitwuzla/bitwuzla@0e81e616af4d4421729884f0… CI #656: Commit 2f47405 pushed by yoni206
August 30, 2024 14:07 14m 17s main
main
August 30, 2024 14:07 14m 17s
Update bitwuzla version to bitwuzla/bitwuzla@0e81e616af4d44217298841928b194c3536c76 CI #655: Pull request #353 opened by CyanoKobalamyne
August 28, 2024 18:31 27m 54s bitwuzla-update-20240807
bitwuzla-update-20240807
August 28, 2024 18:31 27m 54s
Update bitwuzla version to bitwuzla/bitwuzla@0e81e616af4d4421729884f0… CI #654: Commit c85ee3b pushed by CyanoKobalamyne
August 28, 2024 18:31 14m 16s bitwuzla-update-20240807
bitwuzla-update-20240807
August 28, 2024 18:31 14m 16s
Unify static lib repacking to always use script (#352) CI #653: Commit ff051c8 pushed by CyanoKobalamyne
August 28, 2024 18:27 13m 47s static-fixes-unify-static-repack
static-fixes-unify-static-repack
August 28, 2024 18:27 13m 47s
Unify static lib repacking to always use script (#352) CI #652: Commit ff051c8 pushed by CyanoKobalamyne
July 18, 2024 23:06 13m 54s main
main
July 18, 2024 23:06 13m 54s
Unify static lib repacking to always use script CI #651: Pull request #352 opened by CyanoKobalamyne
July 18, 2024 18:31 14m 57s unify-static-repack
unify-static-repack
July 18, 2024 18:31 14m 57s
Use repack-static-lib.sh for mathsat CI #650: Commit b2cd5a3 pushed by CyanoKobalamyne
July 18, 2024 18:26 13m 58s unify-static-repack
unify-static-repack
July 18, 2024 18:26 13m 58s
Use common Cadical dependency for various solvers (#350) CI #649: Commit 363d617 pushed by CyanoKobalamyne
July 18, 2024 17:19 14m 15s main
main
July 18, 2024 17:19 14m 15s
Unify static lib repacking to always use script CI #648: Pull request #351 opened by CyanoKobalamyne
July 10, 2024 10:54 20m 6s static-fixes-unify-static-repack
static-fixes-unify-static-repack
July 10, 2024 10:54 20m 6s
ProTip! You can narrow down the results and go further in time using created:<2024-07-10 or the other filters available.