Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump Jenkins Remoting version to 3206.vb_15dcf73f6a_9 #978

Conversation

jenkins-infra-updatecli[bot]
Copy link
Contributor

Bump Jenkins Remoting version

Update the remoting version in the tools-versions.yml file

change detected: * key "$.jenkins_remoting_version" updated from "3203.v94ce994fdb_31" to "3206.vb_15dcf73f6a_9", in file "provisioning/tools-versions.yml"

3206.vb_15dcf73f6a_9
Release published on the 2024-01-09 16:29:26 +0000 UTC at the url https://github.com/jenkinsci/remoting/releases/tag/3206.vb_15dcf73f6a_9

<!-- Optional: add a release summary here -->
## 🐛 Bug fixes

* Avoid continual thread replacement in `JarCacheSupport` (#717) @basil

## 👻 Maintenance

* Harden `JarCacheSupport` (#716) @basil
* Use `CompletableFuture` in `JarCache` (#715) @basil
Jenkins pipeline link
Updatecli logo

Created automatically by Updatecli

Options:

Most of Updatecli configuration is done via its manifest(s).

  • If you close this pull request, Updatecli will automatically reopen it, the next time it runs.
  • If you close this pull request and delete the base branch, Updatecli will automatically recreate it, erasing all previous commits made.

Feel free to report any issues at github.com/updatecli/updatecli.
If you find this tool useful, do not hesitate to star our GitHub repository as a sign of appreciation, and/or to tell us directly on our chat!

@jenkins-infra-updatecli jenkins-infra-updatecli bot added the enhancement New feature or request label Jan 10, 2024
@dduportal dduportal merged commit d489da0 into main Jan 10, 2024
1 check passed
@dduportal dduportal deleted the updatecli_1e471dc790c3c445178588965dd539e0a4f9ef4a63c5093367bac5f1b7b40e55 branch January 10, 2024 13:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants