Skip to content
Snippets Groups Projects

Jenkinsfile: Define PIPELINE_VERSION early to fix devroot name

Merged Emanuele Aina requested to merge wip/em/misc into apertis/v2019dev0
Loading