[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 8, 2024 · eb6c49d · eb6c49d
1 parent c9f4a32
commit eb6c49d
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 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
@@ -5,11 +5,11 @@
 # Pipeline variables, used by the public and private CI pipelines
 # Quote values to ensure they are parsed as string (version numbers might
 # end up as float otherwise).
-VERILATOR_VERSION=v4.104
+VERILATOR_VERSION=v4.210
 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