From 7bc64c70183f4100552cc8108487852cd18fc196 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sun, 19 Jan 2020 21:15:11 +0100 Subject: [PATCH] more --- .github/workflows/build.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index cf4e4c81..fd6ce760 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -108,13 +108,15 @@ 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 ln -s $(which lua5.3) lua + echo "chuck --silent $@" > ../chuck + chmod +x ../chuck export PATH=./wren:$PATH export PATH=.:$PATH bash scripts/benchmark.sh -- 2.43.0