From f04b8c797dcc19e2ebf641640e6300916c840b11 Mon Sep 17 00:00:00 2001 From: Arseny Kapoulkine Date: Thu, 30 Jun 2022 20:30:26 -0700 Subject: [PATCH] Forgot to remove branch name from build script --- .github/workflows/benchmark.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml index a91450b6..bbee6224 100644 --- a/.github/workflows/benchmark.yml +++ b/.github/workflows/benchmark.yml @@ -4,7 +4,6 @@ on: push: branches: - master - - callgrind paths-ignore: - "docs/**" - "papers/**"