aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJessica Clarke <jrtc27@jrtc27.com>2023-03-07 12:58:50 +0000
committerGitHub <noreply@github.com>2023-03-07 13:58:50 +0100
commitad13bf2deaab2a36b2caea1e92dcbaa63ad2a534 (patch)
tree24078a3993a5773b48e53a711f30dbb637789df3
parent071f4c79171efa3721e598809e3aadfc8c3478c7 (diff)
downloadsail-riscv-ad13bf2deaab2a36b2caea1e92dcbaa63ad2a534.zip
sail-riscv-ad13bf2deaab2a36b2caea1e92dcbaa63ad2a534.tar.gz
sail-riscv-ad13bf2deaab2a36b2caea1e92dcbaa63ad2a534.tar.bz2
Bump CI to Ubuntu 22.04 (#228)
Ubuntu 18.04 is being sunset.
-rw-r--r--.github/workflows/compile.yml4
1 files changed, 1 insertions, 3 deletions
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