Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
As it seams that there is some inconsistency inbetween the runs, which are non related to the proper test. Maybe a second invokation of ctest on the failed runs helps to clean that up. The exit code of the first one is "ignored".
- Loading branch information