aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.azure-pipelines.yml2
-rw-r--r--.github/workflows/cpp.yml2
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