tmp commit

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cf4e4c811a67ca6cc0154d24a43550d551ad40fb..84b392e6129e0437194af7ee8690e2341c386e7f 100644 (file)
--- 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