projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a22deeb) | patch
ci: Replace debug builds with assertion enabled production builds. (#6098)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 12 Mar 2021 00:44:45 +0000 (16:44 -0800)
committerGitHub <noreply@github.com>
Fri, 12 Mar 2021 00:44:45 +0000 (16:44 -0800)
commit7929e2a061ab1a95fbaa6a417994cfabdc287292
treed87cd63e8ecb4a8d8dcb3c4e41e38d94ddda168atree
parenta22deeb091673226a1edb5a89bc8a596a3d51fc7commit | diff
ci: Replace debug builds with assertion enabled production builds. (#6098)

This will help reduce the CI times and ccache sizes.
.github/workflows/ci.yml diff | blob | history