diff --git a/.github/workflows/osrm-backend.yml b/.github/workflows/osrm-backend.yml index d8930a190..83ee6c2c6 100644 --- a/.github/workflows/osrm-backend.yml +++ b/.github/workflows/osrm-backend.yml @@ -714,6 +714,7 @@ jobs: if: ${{ matrix.ENABLE_BENCHMARKS == 'ON' }} run: | pushd ${OSRM_BUILD_DIR} + make --jobs=${JOBS} benchmark for i in ./src/benchmark/*-bench ; do echo Running $i ; $i ; done popd - name: Run Node package tests only