On Mon, 6 Feb 2023 17:53:24 GMT, Joe Darcy <da...@openjdk.org> wrote:
> Therefore, I think these tests should be included in the repository, but not > run all the time, which led me to declare them as a manual jtreg test. Manual tests are run at each release. There are a couple of examples in the repo with tests that don't have @test tags. There are easily forgotten but they have been useful in a few areas for cases like this where the maintainer wants something in the repo doesn't doesn't want it run by regular testing. If you do decide to make this a manual test then I think it will need instructions so that someone knows what to do. ------------- PR: https://git.openjdk.org/jdk/pull/12430
