CI: use multiple make jobs to speed up building (#1917)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b3309a338e76d6a64ffaa5f69665b7b12cd0c824..1d7b32e235a156e37acf7c5a036b469ac356b778 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -24,16 +24,19 @@ jobs:
       run: ./build/ci/build.sh -a build
       env:
         BS: ${{ matrix.bs }}
+        MAKE_ARGS: -j
     - name: Test
       run: ./build/ci/build.sh -a test
       env:
         BS: ${{ matrix.bs }}
         SKIP_OPEN_FD_ERR_TEST: 1
         IGNORE_TRAVERSALS_TEST4: 1
+        MAKE_ARGS: -j
     - name: Install
       run: ./build/ci/build.sh -a install
       env:
         BS: ${{ matrix.bs }}
+        MAKE_ARGS: -j
     - name: Artifact
       run: ./build/ci/build.sh -a artifact
       env:
@@ -68,11 +71,13 @@ jobs:
       run: ./build/ci/build.sh -a build
       env:
         BS: ${{ matrix.bs }}
+        MAKE_ARGS: -j
     - name: Test
       run: ./build/ci/build.sh -a test
       env:
         BS: ${{ matrix.bs }}
         SKIP_OPEN_FD_ERR_TEST: 1
+        MAKE_ARGS: -j
     - name: Install
       run: ./build/ci/build.sh -a install
       env: