Skip to content

Stop pipeline if there are no more contexts#85

Merged
ARMmaster17 merged 2 commits intomainfrom
78-pipeline-should-stop-if-lencontext-is-0
May 3, 2022
Merged

Stop pipeline if there are no more contexts#85
ARMmaster17 merged 2 commits intomainfrom
78-pipeline-should-stop-if-lencontext-is-0

Commits

Commits on May 3, 2022