From 7956d044b678f707fa57bcff52a875ffbb0d0c85 Mon Sep 17 00:00:00 2001
From: Gary Guo <gary.guo@lowrisc.org>
Date: Fri, 15 Dec 2023 13:28:06 +0000
Subject: [PATCH] [ci] switch CI runner from Ubuntu 20.04 to 22.04

Verible version is bumped to latest because the current version we are
using has a broken 22.04 release.

Verilator is upgraded to 4.210 to match OpenTitan.

Signed-off-by: Gary Guo <gary.guo@lowrisc.org>
---
 .github/workflows/ci.yml | 2 +-
 ci/install-build-deps.sh | 2 +-
 ci/vars.env              | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

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