update jenkinsfile #1

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

hb

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