projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 154e04b) | patch
[CI] Build and release Win64 binaries (#8321)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 16 Mar 2022 21:29:27 +0000 (14:29 -0700)
committerGitHub <noreply@github.com>
Wed, 16 Mar 2022 21:29:27 +0000 (21:29 +0000)
commit73673dc7fae0fb4ff35a968556e612a9e2159cbb
treec928b827f957a49e3ac52a8cfb1ec3d31d1e6209tree
parent154e04b41ee811a302faf2bef86e86e3ce856888commit | diff
[CI] Build and release Win64 binaries (#8321)

This commit adds a check that cross-compiles a Windows binary, fixes
some minor issues to make the Windows build work, and adds support for
publishing a Windows binary to a (micro-)release.

Note: Regressions are currently not run for Windows builds.
.github/actions/add-to-release/action.yml diff | blob | history
.github/actions/install-dependencies/action.yml diff | blob | history
.github/workflows/ci.yml diff | blob | history
CMakeLists.txt diff | blob | history
src/base/output.h diff | blob | history