From dbac79f10d0b166687e328ff76b40bffeab35157 Mon Sep 17 00:00:00 2001 From: Hein Dauven Date: Mon, 2 Sep 2024 02:41:57 +0200 Subject: [PATCH] ci: Fix benchmark filters --- .github/workflows/benchmarks.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml index bd21ff9ef..7e562a3f0 100644 --- a/.github/workflows/benchmarks.yml +++ b/.github/workflows/benchmarks.yml @@ -19,9 +19,9 @@ jobs: with: filters: | run-ci: - - 'rusk/**/* - - 'node/**/* - predicate-quantifier: 'some' + - 'rusk/**' + - 'node/**' + - '.github/workflows/benchmarks.yml' benchmark: needs: changes