Merge pull request #15 from yarikoptic/no-push

RM: do not run bechmarking on push
con · Nov 18, 2020 · 5e8d0f7 · 5e8d0f7
2 parents 0aa1f40 + 1d00b75
commit 5e8d0f7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
@@ -2,7 +2,6 @@ name: Benchmark
 
 on:
     pull_request:
-    push:
 
 jobs:
     test: