From: Marc Fehling Date: Mon, 3 Feb 2025 13:04:16 +0000 (+0100) Subject: docker: disable focal image. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e430351bfa5aff61707a96f61d19611a2dcf4ea3;p=dealii.git docker: disable focal image. --- diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 30cc4f7d8a..c01c2675a9 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -24,7 +24,7 @@ jobs: strategy: fail-fast: false matrix: - ubuntu_version: [focal, jammy] + ubuntu_version: [jammy] platform: [linux/amd64] # Use only 2 jobs to build, as more jobs # would starve the github machine for memory. @@ -101,7 +101,7 @@ jobs: strategy: fail-fast: false matrix: - ubuntu_version: [focal, jammy] + ubuntu_version: [jammy] steps: - name: Download digests