diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1658ae0f2..cb5a8298c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -236,7 +236,7 @@ pub_hwconfig: matrix: - DV_SIMULATORS: ["veri-testharness,spike"] DV_HWCONFIG_OPTS: - - "--default_config=cv32a60x --isa=rv32imac --RenameEn=1" + - "--default_config=cv32a60x --isa=rv32imac" variables: DASHBOARD_JOB_TITLE: "HW config $DV_SIMULATORS $DV_HWCONFIG_OPTS" DASHBOARD_JOB_DESCRIPTION: "Short tests to challenge target configurations"