diff --git a/.gitlab-ci/cva6.yml b/.gitlab-ci/cva6.yml
index 3baba034f..66ed23c36 100644
--- a/.gitlab-ci/cva6.yml
+++ b/.gitlab-ci/cva6.yml
@@ -248,8 +248,8 @@ pub_hwconfig:
   parallel:
     matrix:
       - DV_SIMULATORS: ["veri-testharness,spike"]
-        DV_HWCONFIG_OPTS: ["--default_config=cv32a60x --isa=rv32imac --a_ext=1",
-                           "--default_config=cv32a60x --isa=rv32imc --RenameEn=1"]
+        DV_HWCONFIG_OPTS:
+          - "--default_config=cv32a60x --isa=rv32imac --RenameEn=1"
   variables:
     DASHBOARD_JOB_TITLE: "HW config $DV_SIMULATORS $DV_HWCONFIG_OPTS"
     DASHBOARD_JOB_DESCRIPTION: "Short tests to challenge target configurations"