From d4dec54c3adec19875f3b29b773b282390e1f1ef Mon Sep 17 00:00:00 2001
From: Behdad Esfahbod <behdad@behdad.org>
Date: Wed, 30 Nov 2022 13:51:14 -0700
Subject: [PATCH] [ci] Switch configs build to Ubuntu 20.04

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

diff --git a/.github/workflows/configs-build.yml b/.github/workflows/configs-build.yml
index 9f4fd78e6..b81ce92b0 100644
--- a/.github/workflows/configs-build.yml
+++ b/.github/workflows/configs-build.yml
@@ -11,7 +11,7 @@ permissions:
 
 jobs:
   build:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
 
     steps:
     - uses: actions/checkout@v3