add workflow_dispatch to benchmark_on_push.yml

.github/workflows/benchmark_on_push.yml

@@ -2,6 +2,7 @@ name: Run benchmarks on push
 on:
   push:
     branches: [main, develop]
+  workflow_dispatch:
 
 concurrency:
   # Cancel intermediate builds always