diff options
| author | Jessica Clarke <jrtc27@jrtc27.com> | 2023-03-07 12:58:50 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-07 13:58:50 +0100 |
| commit | ad13bf2deaab2a36b2caea1e92dcbaa63ad2a534 (patch) | |
| tree | 24078a3993a5773b48e53a711f30dbb637789df3 /.github | |
| parent | 071f4c79171efa3721e598809e3aadfc8c3478c7 (diff) | |
| download | sail-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.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/compile.yml | 4 |
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 |