From 1f92c439ea3bbf64f59204e8ad74f2c7f7c4bd2d Mon Sep 17 00:00:00 2001 From: Gabriele Vernetti Date: Thu, 14 Sep 2023 19:05:51 +0200 Subject: [PATCH] bencher.yml fix --- .github/workflows/bencher.yaml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/bencher.yaml b/.github/workflows/bencher.yaml index 80b6f58c6..58da5a951 100644 --- a/.github/workflows/bencher.yaml +++ b/.github/workflows/bencher.yaml @@ -1,10 +1,10 @@ name: Bencher on: - workflow_run: - workflows: [Run and Cache Benchmarks] - types: - - completed + workflow_run: + workflows: [Run and Cache Benchmarks] + types: + - completed jobs: track_sv1_criterion_with_bencher: