.github/workflows/ci-wsl.yml: Use 'make -k' explicitly

sagemath · Mar 28, 2021 · 11fc6a1 · 11fc6a1
1 parent cf41b79
commit 11fc6a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-wsl.yml b/.github/workflows/ci-wsl.yml
@@ -36,7 +36,7 @@ jobs:
         EXTRA_CONFIGURE_ARGS: "--enable-build-as-root"
         # If make is invoked in parellel (i.e. with -jN where N > 1), then we sometimes run into errors for some reason
         # So keep N small in order to minimize the risk
-        MAKE: "make -j2"
+        MAKE: "make -j2 -k"
         WSLENV: EXTRA_CONFIGURE_ARGS:MAKE
     - name: Test
       run: wsl tox -e local-sudo-ubuntu-standard -- SAGE_NUM_THREADS=4 ptest