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
  1. Mar 18, 2019
Loading