From: Daniel Arndt <6da@ornl.gov>
Date: Mon, 17 Oct 2022 14:58:21 +0000 (-0400)
Subject: Use Ubuntu 20.04 in GitHub actions
X-Git-Tag: v9.5.0-rc1~875^2~8
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cfad12326e851eb9e7ca1002f3cdc68137df35ac;p=dealii.git

Use Ubuntu 20.04 in GitHub actions
---

diff --git a/.github/workflows/indent.yml b/.github/workflows/indent.yml
index ae9d563a8b..1857257151 100644
--- a/.github/workflows/indent.yml
+++ b/.github/workflows/indent.yml
@@ -14,7 +14,7 @@ jobs:
     # run the indent checks
 
     name: indent
-    runs-on: [ubuntu-18.04]
+    runs-on: [ubuntu-20.04]
 
     steps:
     - uses: actions/checkout@v3
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 49950dd842..88dfc52aef 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -124,7 +124,7 @@ jobs:
     # simple parallel debug build using cuda-10
 
     name: linux debug cuda-10
-    runs-on: [ubuntu-18.04]
+    runs-on: [ubuntu-20.04]
 
     steps:
     - uses: actions/checkout@v3
@@ -176,7 +176,7 @@ jobs:
     # For a list of Intel packages see https://oneapi-src.github.io/oneapi-ci/#linux-apt
 
     name: linux debug intel oneapi
-    runs-on: [ubuntu-18.04]
+    runs-on: [ubuntu-20.04]
 
     steps:
     - uses: actions/checkout@v3