8341138: Rename jtreg property docker.support as container.support#2195
8341138: Rename jtreg property docker.support as container.support#2195GoeLin wants to merge 2 commits intoopenjdk:masterfrom
Conversation
|
👋 Welcome back goetz! A progress list of the required criteria for merging this PR into |
|
@GoeLin 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: 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 ➡️ To integrate this PR with the above commit message to the |
|
This backport pull request has now been updated with issue from the original commit. |
|
|
|
@GoeLin this pull request can not be integrated into git checkout goetz_backport_8341138
git fetch https://git.openjdk.org/jdk21u-dev.git master
git merge FETCH_HEAD
# resolve conflicts and follow the instructions given by git merge
git commit -m "Merge master"
git push |
|
/integrate |
|
Going to push as commit 5776ee2. |
I backport this to make later backports easier.
Unfortunately 8360518: Docker tests do not work when asan is configured
was backported already, so I had to resolve almost all files.
Might be clean anyways.
Progress
Issue
Reviewing
Using
gitCheckout this PR locally:
$ git fetch https://git.openjdk.org/jdk21u-dev.git pull/2195/head:pull/2195$ git checkout pull/2195Update a local copy of the PR:
$ git checkout pull/2195$ git pull https://git.openjdk.org/jdk21u-dev.git pull/2195/headUsing Skara CLI tools
Checkout this PR locally:
$ git pr checkout 2195View PR using the GUI difftool:
$ git pr show -t 2195Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk21u-dev/pull/2195.diff
Using Webrev
Link to Webrev Comment