]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Use all jobs to build. 18241/head
authorMarc Fehling <mafehling.git@gmail.com>
Wed, 12 Mar 2025 13:17:57 +0000 (14:17 +0100)
committerMarc Fehling <mafehling.git@gmail.com>
Thu, 13 Mar 2025 09:08:51 +0000 (10:08 +0100)
.github/workflows/docker.yml

index a10169f506af8f3af8db890d8e0ac418e2bd3f06..b172077b9bfe336808a5c66dd64cbbc8d3e41182 100644 (file)
@@ -33,9 +33,10 @@ jobs:
             os: ubuntu-24.04
           - platform: arm64
             os: ubuntu-24.04-arm
-          # Use only 2 jobs to build, as more jobs
-          # would starve the github machine for memory.
-          - n_jobs: 2
+          # Use all available processors to build.
+          # Specify the number of jobs explicitly since the default '0'
+          # causes the github workers to disconnect (potential crash).
+          - n_jobs: 4
 
     steps:
       - name: Docker meta

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.