This repository has been archived by the owner on Jan 13, 2024. It is now read-only.

add option to local_jenkins to specify a different jenkins server #266

Closed

sdpython opened this issue Aug 25, 2019 · 0 comments

Labels

Projects

Milestone

Owner

sdpython commented Aug 25, 2019

No description provided.

sdpython added this to the 1.9 milestone

sdpython added the enhancement label

sdpython closed this as completed in

4bc6303

sdpython added this to done in version 1.9 via automation

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.