-
Notifications
You must be signed in to change notification settings - Fork 61
8309934: Update GitHub Actions to use JDK 17 for building jtreg #18
Conversation
👋 Welcome back cstein! A progress list of the required criteria for merging this PR into |
This backport pull request has now been updated with issue from the original commit. |
Webrevs
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for backporting! Could you enable GitHub Actions and run the tests, please?
@sormuras 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 |
I enabled workflows on the fork the bot created for me - how do I trigger a run now? Manually via https://github.com/openjdk-bots/jdk21/actions/workflows/main.yml and use the default |
Yes. You can post the link to the results, here. |
Results are linked and look good: https://github.com/openjdk-bots/jdk21/actions/runs/5270919104 But, the issue still appears after updating to use the pre-installed JDK 17:
Thus, I'll close this backport PR and work on finding a better fix the underlying issue. |
Hi all,
This pull request contains a backport of commit 8aad881e from the openjdk/jdk repository.
The commit being backported was authored by Christian Stein on 13 Jun 2023 and was reviewed by Erik Joelsson.
Thanks!
Progress
Issue
Reviewers
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk21.git pull/18/head:pull/18
$ git checkout pull/18
Update a local copy of the PR:
$ git checkout pull/18
$ git pull https://git.openjdk.org/jdk21.git pull/18/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 18
View PR using the GUI difftool:
$ git pr show -t 18
Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk21/pull/18.diff
Webrev
Link to Webrev Comment