update jenkinsfile #1

Merged
lucas2 merged 1 commits from master into dev 2 weeks ago
lucas2 commented 2 weeks ago
Owner

hb

hb
lucas2 added 1 commit 2 weeks ago
lucas2 merged commit d42506f9a1 into dev 2 weeks ago
The pull request has been merged as d42506f9a1.
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Loading…
There is no content yet.