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

tmp commit
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 84b392e6..cf4e4c81 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