diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index 8ef4ca8a3..ff69fd343 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