diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml index 6be23dff27..bd21ff9efc 100644 --- a/.github/workflows/benchmarks.yml +++ b/.github/workflows/benchmarks.yml @@ -21,7 +21,7 @@ jobs: run-ci: - 'rusk/**/* - 'node/**/* - predicate-quantifier: "any" + predicate-quantifier: 'some' benchmark: needs: changes