From 7cbfcaf02570ba101117d9e8f251269276573a5f Mon Sep 17 00:00:00 2001
From: fmhoeger <fmhoeger@mirsem.org>
Date: Thu, 1 Feb 2024 15:08:53 -0600
Subject: [PATCH] Use ubuntu-22.04 image for CI completion job

---
 .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 00e503f..8bcd884 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -102,7 +102,7 @@ jobs:
     # signals successful completion. Used for the PR status to pass
     # before merging.
     name: CI completion
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     needs:
       - build-and-test
     steps: