RM: do not run bechmarking on push

con · Nov 17, 2020 · 1d00b75 · 1d00b75
1 parent 0aa1f40
commit 1d00b75
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: