From a8272f0eeffc5ffd742ad524147652654bb7af08 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Renault?= <renault.cle@gmail.com>
Date: Fri, 13 Dec 2019 14:17:07 +0100
Subject: [PATCH] Add a benchmark github workflow

---
 .github/workflows/benchmarks.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 .github/workflows/benchmarks.yml

diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml
new file mode 100644
index 000000000..845e11171
--- /dev/null
+++ b/.github/workflows/benchmarks.yml
@@ -0,0 +1,15 @@
+---
+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 }}