workflows: allow to specify some options depending on the platform in CI scripts - #2202

Merged

jcelerier merged 1 commit into

Aug 22, 2026

Commits on Aug 18, 2026

ci: fail the build when an add-on fails to clone or check out

jcelerier
and
claude
committed
11b71b7