projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e7bcb2) | patch
[CI] Strip stored binaries (#8327)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 17 Mar 2022 00:12:09 +0000 (17:12 -0700)
committerGitHub <noreply@github.com>
Thu, 17 Mar 2022 00:12:09 +0000 (00:12 +0000)
commit78a8c3359f21dff0eb214324534b6e85cfaa08a7
treeb0ebf544753f1d5a8c71f60018f32455c5c16a60tree
parent0e7bcb2e0aa76f17b5f45bf6641bae9d26f8be9ecommit | diff
[CI] Strip stored binaries  (#8327)

This commit ensures that published binaries are stripped to make them
smaller. The stripping of the binaries is done before running the
regressions to make sure that the stripped binaries work as intended.
Stripping binaries decreases the executable size from about 28 MB to 24
MB.
.github/actions/configure-and-build/action.yml diff | blob | history
.github/workflows/ci.yml diff | blob | history