Branch: refs/heads/production
Home: https://github.com/jenkins-infra/jenkins-infra
Commit: 680b9881f6de13b39b0d1b4ca3aca9319217471e
https://github.com/jenkins-infra/jenkins-infra/commit/680b9881f6de13b39b0d1b4ca3aca9319217471e
Author: jenkins-infra-updatecli[bot]
<101213878+jenkins-infra-updatecli[bot]@users.noreply.github.com>
Date: 2023-07-25 (Tue, 25 Jul 2023)
Changed paths:
M hieradata/common.yaml
Log Message:
-----------
chore: key "$.profile::jenkinscontroller::jcasc.tools_default_version...
(#2982)
... s.jdk17" updated from "17.0.7+7" to "17.0.8+7", in file
"hieradata/common.yaml"
Made with ❤️️ by updatecli
Co-authored-by: Jenkins Infra Bot (updatecli)
<[email protected]>
Co-authored-by: Hervé Le Meur <[email protected]>
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkins-infra/jenkins-infra/push/refs/heads/production/1706f5-680b98%40github.com.