From 736f285092f2234d970453f0f7ae6e480c6779a5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Renault?= <renault.cle@gmail.com>
Date: Fri, 13 Dec 2019 15:37:24 +0100
Subject: [PATCH] Disable the benchmarks github workflow

---
 .github/workflows/benchmarks.yml | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 .github/workflows/benchmarks.yml

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