We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Sometimes, additional labels need to be specified for builds.
The text was updated successfully, but these errors were encountered:
This will be satisfied with Additional toolchains.
Sorry, something went wrong.
Partially fixed with ef233c1. I should create a new key for additional labels as well.
jenkins: additional_labels: - "somelabel"
It would support pinning to hosts using arbitrary labels in addition to the generated labels.
cfe0d7b
Also, created wiki documentation around labels https://github.com/samrocketman/jervis/wiki/Labels-for-Jenkins-Agents
No branches or pull requests
Sometimes, additional labels need to be specified for builds.
The text was updated successfully, but these errors were encountered: