From 4786416918bd6da46c6d8117fd2af80a0fe3b844 Mon Sep 17 00:00:00 2001
From: Marco Eilers <marcoeilers@users.noreply.github.com>
Date: Fri, 27 Jan 2023 16:02:14 +0100
Subject: [PATCH] Switch to Ubuntu 20.04 for tests to avoid Carbon issue

---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index fc7c00dc..8a7f8984 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -12,7 +12,7 @@ on:
 jobs:
   build:
 
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
     env:
       BOOGIE_EXE: "/home/runner/.dotnet/tools/boogie"
     steps: