projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f63d4d5) | patch
Disable unit testing for clang builds. (#6595)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 20 May 2021 22:26:49 +0000 (15:26 -0700)
committerGitHub <noreply@github.com>
Thu, 20 May 2021 22:26:49 +0000 (22:26 +0000)
commite0d16189056ab905b2b9e8a23cf62fcca76c106b
tree55127e1573c3672531e72323db529587f5016cabtree
parentf63d4d559f4e6eacc1597808aae462acc72229b0commit | diff
Disable unit testing for clang builds. (#6595)

We currently have issues with clang 11 failing for white unit tests.
This disables unit tests for clang builds.
.github/workflows/ci.yml diff | blob | history