diff --git a/.github/workflows/build-docker-image.yml b/.github/workflows/build-docker-image.yml index 2651e32f35e..c12dea5fb8a 100644 --- 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: toggle-coverage-no-pointers + VERILATOR_VERSION: coverage-param-modules VERILATOR_UVM_VERSION: 7ca2d6470a OPENOCD_VERSION: riscv-nohalt-rebase RENODE_VERSION: 1.15.3+20240924gitc7bc336bb