[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 <[email protected]>
lowRISC · Jan 31, 2024 · cdd0954 · cdd0954
1 parent 8ec0c6f
commit cdd0954
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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