From: Matthias Maier <tamiko@43-1.org>
Date: Sun, 9 Jul 2023 02:56:00 +0000 (+0000)
Subject: Merge pull request #15652 from tamiko/update_github_runners
X-Git-Tag: relicensing~716
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=67fafd113379ff1dd2b90784fda7df27f471c605;p=dealii.git

Merge pull request #15652 from tamiko/update_github_runners

github: update linux runners
---

67fafd113379ff1dd2b90784fda7df27f471c605