From e3c1a02cf323f6e12d7243050e3b3839d1898d52 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Fri, 17 Jan 2020 00:11:29 +0100
Subject: [PATCH] benchmark

---
 .github/workflows/build.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 252cac13..01b483a8 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -26,6 +26,10 @@ jobs:
         git submodule update --init util ast
         make
 
+    - name: Benchmark
+      run: |
+        bash scripts/benchmark.sh
+
     - name: MdBook
       uses: peaceiris/actions-mdbook@v1
       with:
-- 
2.43.0