From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Thu, 23 Jul 2020 15:46:04 +0000 (+0200)
Subject: :wrench: remove debug print
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=2a6a73f5a804ab058e3a4adeff5b33c573e77daf;p=gwion.git

:wrench: remove debug print
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 385f5170..4179c31c 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -128,7 +128,6 @@ jobs:
         sudo apt-get install gnuplot chuck
         echo 'chuck --silent $@' > ./chuck
         chmod +x ./chuck
-        ./chuck benchmark/string-equals.ck
         export PATH=./wren/bin:$PATH
         export PATH=./lua:$PATH
         export PATH=./mdr:$PATH