diff options
| author | Zied Aouini <aouinizied@gmail.com> | 2022-03-09 10:57:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-09 10:57:21 +0100 |
| commit | 74ae315e36cf206961affa5bd2869c025e4c751f (patch) | |
| tree | aefb34a465c7ec89109d106de63dad57021d7538 /tests/do.sh.in | |
| parent | 269be6c7ef038d2de377546813fbb2bacf80e510 (diff) | |
Implement CI on Windows. (#1483)
* Switch fail fast to True.
* Windows CI.
Diffstat (limited to 'tests/do.sh.in')
| -rwxr-xr-x | tests/do.sh.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/do.sh.in b/tests/do.sh.in index 9bcedaeed..0d79ddd83 100755 --- a/tests/do.sh.in +++ b/tests/do.sh.in @@ -90,4 +90,4 @@ fi build_results check_results $* -exit $RC +exit $RC
\ No newline at end of file |