diff options
| -rw-r--r-- | .azure-pipelines.yml | 2 | ||||
| -rw-r--r-- | .github/workflows/cpp.yml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.azure-pipelines.yml b/.azure-pipelines.yml index 12f90a6a8..5e3162cc8 100644 --- a/.azure-pipelines.yml +++ b/.azure-pipelines.yml @@ -16,5 +16,5 @@ steps: - script: make displayName: 'make' -- script: make check +- script: make test-nonflaky displayName: 'test' diff --git a/.github/workflows/cpp.yml b/.github/workflows/cpp.yml index 9f3b87eb5..94eb070d5 100644 --- a/.github/workflows/cpp.yml +++ b/.github/workflows/cpp.yml @@ -14,4 +14,4 @@ jobs: - name: make run: make - name: make check - run: make check + run: make test-nonflaky |