Skip to content

docs(jenkins): exclude main from discovery; PR-* is load-bearing in the filter - #23

Merged
vvbandeira merged 1 commit into
mainfrom
docs/jenkins-exclude-main
Aug 6, 2026
Merged

docs(jenkins): exclude main from discovery; PR-* is load-bearing in the filter#23
vvbandeira merged 1 commit into
mainfrom
docs/jenkins-exclude-main

docs(jenkins): exclude main from discovery; PR-* is load-bearing in t…

958eead
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci
succeeded Aug 6, 2026 in 1m 6s