From: Luca Heltai Date: Tue, 25 Jun 2024 10:23:34 +0000 (+0200) Subject: Added back focal build. X-Git-Tag: v9.6.0-rc1~158^2~2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=34a6772874ccca3910377edffdcbc7a2c2dc7cef;p=dealii.git Added back focal build. --- diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 97e22a0fb2..5f932174e7 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -21,7 +21,7 @@ jobs: strategy: fail-fast: false matrix: - ubuntu_version: [jammy] + ubuntu_version: [focal, jammy] # Use only 1 job to build, as more jobs # would starve the github machine for memory. include: