diff options
| author | Marc Hoersken <info@marc-hoersken.de> | 2020-03-02 14:05:59 +0100 |
|---|---|---|
| committer | Marc Hoersken <info@marc-hoersken.de> | 2020-03-03 17:32:38 +0100 |
| commit | 119ea453f9c9854feac09d86039334d6aeb40fcf (patch) | |
| tree | f27e09cfcc4698199c248d7a491932286318df30 /src/tool_doswin.h | |
| parent | 86ceb9b006457d6a261f1aed8197f57086297f47 (diff) | |
ci/tests: Make it possible to still run but ignore failing tests
This enables the development of a solution for the failing tests by
running them on CI while ignoring their result for the overall status.
Closes #4994
Diffstat (limited to 'src/tool_doswin.h')
0 files changed, 0 insertions, 0 deletions