From ad13bf2deaab2a36b2caea1e92dcbaa63ad2a534 Mon Sep 17 00:00:00 2001
From: Jessica Clarke <jrtc27@jrtc27.com>
Date: Tue, 7 Mar 2023 12:58:50 +0000
Subject: Bump CI to Ubuntu 22.04 (#228)

Ubuntu 18.04 is being sunset.
---
 .github/workflows/compile.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to '.github')

diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index 8ef4ca8..ff69fd3 100644
--- a/.github/workflows/compile.yml
+++ b/.github/workflows/compile.yml
@@ -4,10 +4,8 @@ on: [push, pull_request]
 
 jobs:
   build:
-    runs-on: [ubuntu-18.04]
+    runs-on: ubuntu-22.04
     steps:
-    - name: Add opam2 PPA
-      run: sudo add-apt-repository -y ppa:avsm/ppa
     - name: Install packages
       run: sudo apt install -y opam zlib1g-dev pkg-config libgmp-dev z3 device-tree-compiler
     - name: Init opam
-- 
cgit v1.1