workflow to benchmark pull request performance (#165)

ROSS-org · Sep 25, 2019 · d9d1602 · d9d1602
1 parent 8661150
commit d9d1602
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
@@ -0,0 +1,14 @@
+# .github/workflows/pull_request.yml
+
+on: [pull_request]
+name: benchmark pull requests
+jobs:
+  runBenchmark:
+    name: run benchmark
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@master
+      - name: run benchmark
+        uses: matchai/criterion-compare-action@master
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}