diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml index 09d1b88b..26ad5e46 100644 --- a/.github/workflows/benchmark.yml +++ b/.github/workflows/benchmark.yml @@ -4,6 +4,7 @@ on: push: branches: - master + - callgrind paths-ignore: - "docs/**" - "papers/**"