Skip to content

Jenkinsfile: fix encouragement/dependency-check if

Johannes Visintini requested to merge jenkinsfile-minor-fix into master

addendum to !31 (merged)

Edited by Martin Raifer

Merge request reports