adding pull_request

.github/workflows/main.workflow

@@ -1,10 +0,0 @@
-# .github/main.workflow
-workflow "benchmark pull requests" {
-  on = "pull_request"
-  resolves = ["run benchmark"]
-}
-
-action "run benchmark" {
-  uses = "matchai/criterion-compare-action@master"
-  secrets = ["GITHUB_TOKEN"]
-}

.github/workflows/pull_request.yml

@@ -0,0 +1,12 @@
+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 }}