Remove "ha" no-op option

Priya Goyalrequested to merge
remove-ha into main

"ha" was already a no-op ( see !452 (merged) !456 (merged) and is now removed on the sylva-core side, so it can be removed from here as well

related to Draft: Remove "ha" CI option (!9026) · Merge requests · Sylva-projects / sylva-core · GitLab

Merge request reports