From 9d97ff0b23fdb0275abe77f46b1de451c74dea6e Mon Sep 17 00:00:00 2001 From: vmoens Date: Mon, 9 Oct 2023 16:11:19 +0100 Subject: [PATCH] amend --- .github/workflows/benchmarks_pr.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/benchmarks_pr.yml b/.github/workflows/benchmarks_pr.yml index 52b60899f..5e7e5a362 100644 --- a/.github/workflows/benchmarks_pr.yml +++ b/.github/workflows/benchmarks_pr.yml @@ -1,4 +1,4 @@ -name: Continuous Benchmark +name: Continuous Benchmark (PR) on: pull_request: