Skip to content

Added condition to "Coverage Report Name". Corrected formatting.#456

Merged
fdesbiens merged 1 commit intomasterfrom
ci-fixes-2
Jul 29, 2025
Merged

Added condition to "Coverage Report Name". Corrected formatting.#456
fdesbiens merged 1 commit intomasterfrom
ci-fixes-2

Commits

Commits on Jul 29, 2025