ci: Don't override EXTRA_OPTS

run-ci

@@ -20,7 +20,7 @@ else
   echo "Couldn't find broken package list"
 fi
 
-EXTRA_OPTS="--cabal-option=-j$CPUS" # Use cabal's build parallelism
+EXTRA_OPTS="$EXTRA_OPTS --cabal-option=-j$CPUS" # Use cabal's build parallelism
 if [ -n "$EXTRA_HC_OPTS" ]; then
   EXTRA_OPTS="$EXTRA_OPTS --ghc-option=\"$EXTRA_HC_OPTS\""
 fi