diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index e7dc745..0bd2972 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -46,7 +46,7 @@ jobs: make rtinit - name: Compile test workloads run: | - cd runtime/tests && make gocr && cd ../.. + cd runtime/tests && make -B gocr && cd ../.. - name: Hyde run: | cd runtime/experiments/applications/ocr/hyde && ./run.sh