crac
crac copied to clipboard
Merge jdk17u:jdk-17.0.12+7
There were no substantial conflicts in the merge.
Progress
- [x] Change must not contain extraneous whitespace
Reviewers
- Anton Kozlov (@AntonKozlov - Reviewer)
Reviewing
Using git
Checkout this PR locally:
$ git fetch https://git.openjdk.org/crac.git pull/157/head:pull/157
$ git checkout pull/157
Update a local copy of the PR:
$ git checkout pull/157
$ git pull https://git.openjdk.org/crac.git pull/157/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 157
View PR using the GUI difftool:
$ git pr show -t 157
Using diff file
Download this PR as a diff file:
https://git.openjdk.org/crac/pull/157.diff
Webrev
:wave: Welcome back rvansa! A progress list of the required criteria for merging this PR into crac-17 will be added to the body of your pull request. There are additional pull request commands available for use with this pull request.
@rvansa This change now passes all automated pre-integration checks.
ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details.
After integration, the commit message for the final commit will be:
Merge jdk17u:jdk-17.0.12+7
Reviewed-by: akozlov
You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed.
At the time when this comment was updated there had been no new commits pushed to the crac-17 branch. If another commit should be pushed before you perform the /integrate command, your PR will be automatically rebased. If you prefer to avoid any potential automatic rebasing, please check the documentation for the /integrate command for further details.
➡️ To integrate this PR with the above commit message to the crac-17 branch, type /integrate in a new comment.
Webrevs
I compared changes with jdk-17.0.12+7, there are only CRaC related ones. So LGTM. Thank you!
@rvansa This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any activity. To avoid this, simply add a new comment to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration!
@rvansa This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any activity. To avoid this, simply add a new comment to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration!
@rvansa This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any activity. To avoid this, simply add a new comment to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration!
@rvansa This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any activity. To avoid this, simply add a new comment to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration!
/integrate
Going to push as commit 33a49d8a6c0fc0d2e7e97782ded89580d3c7d881.
@rvansa Pushed as commit 33a49d8a6c0fc0d2e7e97782ded89580d3c7d881.
:bulb: You may see a message that your pull request was closed with unmerged commits. This can be safely ignored.