From: Marc Fehling <mafehling.git@gmail.com>
Date: Thu, 13 Apr 2023 20:22:28 +0000 (-0600)
Subject: Use latest ubuntu image in docker.yml.
X-Git-Tag: v9.5.0-rc1~328^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6bb2e34e3ce37f1a86afd64bf1b489ba6c420454;p=dealii.git

Use latest ubuntu image in docker.yml.

OS of the host system is not important.
---

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 3885ea87e0..57a444d6c4 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -12,7 +12,7 @@ permissions:
 
 jobs:
   build-master-docker:
-    runs-on: ubuntu-20.4
+    runs-on: ubuntu-latest
     steps:          
       - name: Checkout code
         uses: actions/checkout@v3