Skip to content
This repository was archived by the owner on Sep 19, 2023. It is now read-only.
/ jdk19u Public archive

8302879: doc/building.md update link to jtreg builds #107

Closed
wants to merge 1 commit into from

Conversation

gdams
Copy link
Member

@gdams gdams commented Feb 20, 2023

The Eclipse Adoptium project recently moved its CI from ci.adoptopenjdk.net to ci.adoptium.net. The link to jtreg builds needs updating

Backport is clean (except for a differing format in the HTML version)

See adoptium/infrastructure#2932 for more context


Progress

  • Change must be properly reviewed (1 review required, with at least 1 Reviewer)
  • Change must not contain extraneous whitespace
  • Commit message must refer to an issue

Issue

  • JDK-8302879: doc/building.md update link to jtreg builds

Reviewing

Using git

Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk19u pull/107/head:pull/107
$ git checkout pull/107

Update a local copy of the PR:
$ git checkout pull/107
$ git pull https://git.openjdk.org/jdk19u pull/107/head

Using Skara CLI tools

Checkout this PR locally:
$ git pr checkout 107

View PR using the GUI difftool:
$ git pr show -t 107

Using diff file

Download this PR as a diff file:
https://git.openjdk.org/jdk19u/pull/107.diff

@bridgekeeper
Copy link

bridgekeeper bot commented Feb 20, 2023

👋 Welcome back gdams! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request. There are additional pull request commands available for use with this pull request.

@openjdk openjdk bot changed the title Backport bb3dfd6adbb58871bc7238107ed254831b22d48b 8302879: doc/building.md update link to jtreg builds Feb 20, 2023
@openjdk
Copy link

openjdk bot commented Feb 20, 2023

This backport pull request has now been updated with issue from the original commit.

@openjdk openjdk bot added backport rfr Pull request is ready for review labels Feb 20, 2023
@mlbridge
Copy link

mlbridge bot commented Feb 20, 2023

Webrevs

@RealCLanger
Copy link
Contributor

JDK19 is dead. You should probably do this in jdk20u 😉

@gdams
Copy link
Member Author

gdams commented Feb 20, 2023

JDK19 is dead. You should probably do this in jdk20u 😉

Yes my bad haha

@gdams gdams closed this Feb 20, 2023
@gdams gdams deleted the back branch February 20, 2023 22:14
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
backport rfr Pull request is ready for review
Development

Successfully merging this pull request may close these issues.

2 participants