Commit 9143065c authored by Christophe Henry's avatar Christophe Henry
Browse files

Merge branch 'fix-jenkinsfile' into 'develop'

Fix Jenkinsfile

See merge request !113
parents babda636 9d0db46c
Pipeline #4399 passed with stage
in 0 seconds