different runners for different events

Author: scottgerring

.github/workflows/pr_criterion.yaml

@@ -1,12 +1,20 @@
-on: [pull_request]
+on: 
+  pull_request:
+  push:
+    branches:
+      - main
 name: benchmark pull requests
 jobs:
   runBenchmark:
     name: run benchmark
     permissions:
       pull-requests: write
-    runs-on: self-hosted
-    if: ${{ contains(github.event.pull_request.labels.*.name, 'performance') }}
+    runs-on: ${{ github.event_name == 'pull_request' && 'self-hosted' || 'ubuntu-latest' }}
+    if: |
+      ${{ 
+        github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'performance') ||
+        github.event_name == 'push'
+      }}
     steps:
       - uses: actions/checkout@v4
       - uses: arduino/setup-protoc@v3