Update benchmarks.

2025-12-09 14:07:17 +01:00
parent 5da83ee565
commit 25f68a38d7
5 changed files with 352 additions and 16 deletions
@@ -124,10 +124,7 @@ jobs:
      - name: Install dependencies
        run: |
          sudo apt-get update
-          sudo apt-get install -y gcc make python3
+          sudo apt-get install -y gcc make python3 default-jdk

-      - name: Build benchmark
-        run: make test_benchmark
-
-      - name: Run benchmark
-        run: ./test_benchmark
+      - name: Run benchmark suite
+        run: make benchmark