Update Jenkinsfile

This commit is contained in:
Jan Przybylski 2020-11-23 12:08:36 +01:00
parent 82052b9946
commit a4148dfb8e