CI: add a criterion-based result for new PR

.github/workflows/bench.yml

@@ -0,0 +1,18 @@
+name: Benchmark PR
+
+on:
+  pull_request:
+    branches: [ master ]
+
+jobs:
+  runBenchmark:
+    name: Criterion benchmark
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: boa-dev/criterion-compare-action@v3
+        with:
+          # Needed. The name of the branch to compare with. This default uses the branch which is being pulled against
+          branchName: ${{ github.base_ref }}
+          # Optional. Default is `${{ github.token }}`.
+          token: ${{ secrets.GITHUB_TOKEN }}