update jenkinsFile #2

Merged
chacha merged 1 commits from dev into master 2023-03-19 11:29:50 +01:00

1 Commits

Author SHA1 Message Date
cclecle
be9ef684e4 update jenkinsFile => no error when master build are skipped because of
no-tag
2023-03-19 10:26:23 +00:00