update jenkinsfile #1

Merged
lucas2 merged 1 commits from master into dev 10 months ago
lucas2 commented 10 months ago
Owner

hb

hb
lucas2 added 1 commit 10 months ago
lucas2 merged commit d42506f9a1 into dev 10 months 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.