From: Marc Fehling Date: Wed, 12 Mar 2025 13:17:57 +0000 (+0100) Subject: Use all jobs to build. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a91c072f2b64687c29c3a3634b85033f1d2f3ee6;p=dealii.git Use all jobs to build. --- diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index a10169f506..b172077b9b 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -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