ci: Run mini-benchmark on CI as well

Author: MarcellPerger1

.github/workflows/run_tests.yml

@@ -27,3 +27,6 @@ jobs:
         run: |
           chmod +x ./run_tests.sh
           ./run_tests.sh --verbose
+      - name: Run mini-benchmark
+        run: |
+          python ./benchmark.py