Use Ubuntu 20.04 in GitHub actions

diff --git a/.github/workflows/indent.yml b/.github/workflows/indent.yml
index ae9d563a8bc1b4e7f8ed0db4b943778efe99e81c..1857257151d909770fd6469dd6715c95a0504944 100644 (file)
--- 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 49950dd842f2402616dc78d21fb5469870273739..88dfc52aefd3e0a8e65eefe4fc6b68b51b26c9ad 100644 (file)
--- 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