projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ffeb34d) | patch
Enable static builds in CI (#7281)
authorGereon Kremer <nafur42@gmail.com>
Wed, 6 Oct 2021 16:27:33 +0000 (09:27 -0700)
committerGitHub <noreply@github.com>
Wed, 6 Oct 2021 16:27:33 +0000 (16:27 +0000)
commit3e98be42bca89a10119352d190af7584bab2f39f
treee7601b80eaf46bba8bcc873df56982e66639f5d1tree
parentffeb34d0d7c893ee30bb9083b9c4e1b36423c1edcommit | diff
Enable static builds in CI (#7281)

This PR modifies our CI builds to have two static production builds. These binaries will be used as release artifacts later.
.github/workflows/ci.yml diff | blob | history
INSTALL.rst diff | blob | history
cmake/deps-helper.cmake diff | blob | history
src/main/CMakeLists.txt diff | blob | history