From: Luca Heltai <luca.heltai@sissa.it>
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: