bump Verilator version

antmicro · Dec 28, 2024 · 9bddf96 · 9bddf96
1 parent 5179670
commit 9bddf96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-docker-image.yml b/.github/workflows/build-docker-image.yml
@@ -10,7 +10,7 @@ jobs:
   build:
     runs-on: ubuntu-20.04
     env:
-      VERILATOR_VERSION: pragma-coverage-off-update
+      VERILATOR_VERSION: ternary-coverage
       VERILATOR_UVM_VERSION: 7ca2d6470a
       OPENOCD_VERSION: riscv-nohalt-rebase
       RENODE_VERSION: 1.15.3+20240924gitc7bc336bb