From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 19 Jan 2020 19:29:28 +0000 (+0100)
Subject: tmp commit
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=d344580615a4a0c5b60d8019bab75001c1015618;p=gwion.git

tmp commit
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cf4e4c81..84b392e6 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -108,9 +108,9 @@ jobs:
           make
         fi
 
+#        git log -1 --pretty="%B" | grep "\[benchmark\]" || exit 0
     - name: Benchmark
       run: |
-        git log -1 --pretty="%B" | grep "\[benchmark\]" || exit 0
         echo 1 | sudo tee /proc/sys/kernel/perf_event_paranoid
         sudo apt-get update
         sudo apt-get install gnuplot lua5.3 chuck