Skip to content

Actions: stanford-centaur/smt-switch

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
136 workflow runs
136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set errexit bash option to terminate contrib setup scripts on error CI #581: Pull request #343 opened by CyanoKobalamyne
February 6, 2024 23:15 5m 53s CyanoKobalamyne:exit-scripts-on-error
CyanoKobalamyne:exit-scripts-on-error
February 6, 2024 23:15 5m 53s
multiplication is variadic (#341) CI #580: Commit d6a5b13 pushed by yoni206
December 12, 2023 08:23 15m 28s master
master
December 12, 2023 08:23 15m 28s
multiplication is variadic CI #579: Pull request #341 synchronize by ffrohn
December 12, 2023 07:37 18m 1s ffrohn:mult_variadic
ffrohn:mult_variadic
December 12, 2023 07:37 18m 1s
multiplication is variadic CI #578: Pull request #341 opened by ffrohn
December 11, 2023 15:37 27m 26s ffrohn:mult_variadic
ffrohn:mult_variadic
December 11, 2023 15:37 27m 26s
fixes for build with z3 (#340) CI #577: Commit f4bd379 pushed by yoni206
December 5, 2023 16:06 38m 19s master
master
December 5, 2023 16:06 38m 19s
uint is non-standard (#339) CI #576: Commit 77059c7 pushed by yoni206
December 5, 2023 16:05 29m 17s master
master
December 5, 2023 16:05 29m 17s
fixes for build with z3 CI #575: Pull request #340 opened by ffrohn
December 4, 2023 13:23 33m 39s ffrohn:z3-build
ffrohn:z3-build
December 4, 2023 13:23 33m 39s
uint is non-standard CI #574: Pull request #339 opened by ffrohn
December 4, 2023 13:17 22m 55s ffrohn:uint
ffrohn:uint
December 4, 2023 13:17 22m 55s
Update Bitwuzla code for new API CI #573: Pull request #338 opened by CyanoKobalamyne
November 15, 2023 17:54 47m 20s CyanoKobalamyne:bitwuzla-update
CyanoKobalamyne:bitwuzla-update
November 15, 2023 17:54 47m 20s
Allow using local GTest CI #572: Pull request #337 opened by CyanoKobalamyne
November 15, 2023 17:53 41m 13s CyanoKobalamyne:gtest-dep
CyanoKobalamyne:gtest-dep
November 15, 2023 17:53 41m 13s
Increase minimum CMake version CI #571: Pull request #336 opened by CyanoKobalamyne
November 15, 2023 17:51 23m 59s CyanoKobalamyne:cmake-version
CyanoKobalamyne:cmake-version
November 15, 2023 17:51 23m 59s