From f845eafc2f507fe90c787ba3cdc522ca6d5effae Mon Sep 17 00:00:00 2001
From: bjorn3 <17426603+bjorn3@users.noreply.github.com>
Date: Fri, 2 Dec 2022 21:57:04 +0100
Subject: [PATCH] Switch Linux runner to ubuntu-20.04 to unbreak CI

Earlier today CI started to fail on Linux with a crash during the
jit mode. Turns out ubuntu-latest switched from ubuntu-20.04 to
ubuntu-22.04. Let's switch back to ubuntu-20.04 for now to unbreak
CI until I figured out the root cause.

cc #1303
---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 424ede361450..625084e3b080 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -29,7 +29,7 @@ jobs:
       fail-fast: false
       matrix:
         include:
-          - os: ubuntu-latest
+          - os: ubuntu-20.04 # FIXME switch to ubuntu-22.04 once #1303 is fixed
             env:
               TARGET_TRIPLE: x86_64-unknown-linux-gnu
           - os: macos-latest