diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1552e6029e..104ea27992 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -63,7 +63,7 @@ jobs: - name: Check Lake run: make check-lake - name: Test Lake - run: make test-ci -j4 + run: make test-ci - name: Time Bootstrap run: make time-bootstrap - name: Check Bootstrap