diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a62916b8ce..9fbbe8cc97 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -25,7 +25,7 @@ on:
 jobs:
   lint_dv:
     name: Run quality checks (Lint and DV)
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     steps:
       - uses: actions/checkout@v4
         with:
diff --git a/ci/install-build-deps.sh b/ci/install-build-deps.sh
index 9faec163e7..351e0334b0 100755
--- a/ci/install-build-deps.sh
+++ b/ci/install-build-deps.sh
@@ -26,7 +26,7 @@ if [ -z "$GITHUB_ACTIONS" ]; then
 fi
 
 case "$ID-$VERSION_ID" in
-  ubuntu-16.04|ubuntu-18.04|ubuntu-20.04)
+  ubuntu-20.04|ubuntu-22.04)
     # Curl must be available to get the repo key below.
     $SUDO_CMD apt-get update
     $SUDO_CMD apt-get install -y curl
diff --git a/ci/vars.env b/ci/vars.env
index 0d1715d739..cc52073066 100644
--- a/ci/vars.env
+++ b/ci/vars.env
@@ -10,6 +10,6 @@ IBEX_COSIM_VERSION=15fbd568
 RISCV_TOOLCHAIN_TAR_VERSION=20220210-1
 RISCV_TOOLCHAIN_TAR_VARIANT=lowrisc-toolchain-gcc-rv32imcb
 RISCV_COMPLIANCE_GIT_VERSION=844c6660ef3f0d9b96957991109dfd80cc4938e2
-VERIBLE_VERSION=v0.0-2135-gb534c1fe
+VERIBLE_VERSION=v0.0-3430-g060bde0f
 # lowRISC-internal version numbers of Ibex-specific Spike builds.
 SPIKE_IBEX_VERSION=20220817-git-eccdcb15c3e51b4f7906c7b42fb824f24a4338a2