diff options
Diffstat (limited to '.github/workflows')
| -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 |