diff options
Diffstat (limited to '.circleci')
| -rw-r--r-- | .circleci/config.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index f85e9548..de800936 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml | |||
| @@ -39,4 +39,5 @@ jobs: | |||
| 39 | -DTEST_TIMEOUT_SECONDS=120 | 39 | -DTEST_TIMEOUT_SECONDS=120 |
| 40 | -DUSE_IPV6=OFF | 40 | -DUSE_IPV6=OFF |
| 41 | - run: cd _build && ninja install -j$(nproc) | 41 | - run: cd _build && ninja install -j$(nproc) |
| 42 | - run: cd _build && ctest -j50 --output-on-failure | 42 | - run: cd _build && ctest -j50 --output-on-failure || |
| 43 | ctest -j50 --output-on-failure --rerun-failed | ||