From 2a80b5ed36a1f50780a2f8e2099633e30a33a5d4 Mon Sep 17 00:00:00 2001
From: Linus Dierheimer <Linus@Dierheimer.de>
Date: Fri, 3 Feb 2023 13:37:15 +0100
Subject: [PATCH] Pipeline(Linux): Build on Ubuntu 20.04

---
 .github/workflows/push.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index ef6d86833..919cdbdf3 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -12,7 +12,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-latest]
+        os: [ubuntu-22.04 ubuntu-20.04]
         compiler: [gcc, clang]
         enableFeatures: [ON, OFF]
     runs-on: ${{ matrix.os }}
@@ -42,7 +42,7 @@ jobs:
 
   linux:
     name: Linux
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04 # 22.04 ships a newer version of glibc than debian stable, allow those people to use the debian package
     permissions:
       security-events: write
       contents: read