benchmark

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 252cac13bd02428a6b4b4527fa8a0bc8c73dd4b8..01b483a87f2b182cf940ad7e51bf56d78923779c 100644 (file)
--- 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: