Update the Linux runner to ubuntu-20.04 (deprecation of ubuntu-18.04)

alessandrofama · May 29, 2023 · 1e7eba4 · 1e7eba4
1 parent 9c5ab14
commit 1e7eba4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/linux_builds.yml b/.github/workflows/linux_builds.yml
@@ -11,7 +11,7 @@ env:
 jobs:
   linux:
     name: Linux
-    runs-on: "ubuntu-18.04"
+    runs-on: "ubuntu-20.04"
     if: "!contains(github.event.head_commit.message, '[ci-skip]')"  
     steps:
       - name: Checkout