From 52d8346d993ed5ad96356216958323abc89cd514 Mon Sep 17 00:00:00 2001
From: Behdad Esfahbod <behdad@behdad.org>
Date: Wed, 30 Nov 2022 13:50:16 -0700
Subject: [PATCH] [ci] Change Linux runner to Ubuntu 20.04

https://github.com/actions/runner-images/issues/6002
---
 .github/workflows/linux-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/linux-ci.yml b/.github/workflows/linux-ci.yml
index f67f5d3fe..3a95e9b64 100644
--- a/.github/workflows/linux-ci.yml
+++ b/.github/workflows/linux-ci.yml
@@ -12,7 +12,7 @@ permissions:
 
 jobs:
   build:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
 
     steps:
     - uses: actions/checkout@v3