From 118e73ddf9a8c37366efb4e9005ee217af57085f Mon Sep 17 00:00:00 2001 From: mrdudz Date: Fri, 11 Feb 2022 16:38:40 +0100 Subject: [PATCH] build utilities in a seperate step --- .github/workflows/build-on-pull-request.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build-on-pull-request.yml b/.github/workflows/build-on-pull-request.yml index 2203e43dd..6ab8543de 100644 --- a/.github/workflows/build-on-pull-request.yml +++ b/.github/workflows/build-on-pull-request.yml @@ -23,9 +23,10 @@ jobs: - name: Build the tools. shell: bash - run: | - make -j2 bin USER_CFLAGS=-Werror - make -j2 util + run: make -j2 bin USER_CFLAGS=-Werror + - name: Build the utilities. + shell: bash + run: make -j2 util - name: Build the platform libraries. shell: bash run: make -j2 lib QUIET=1