On Tue, 11 Apr 2023 22:06:30 GMT, Bill Huang <bhu...@openjdk.org> wrote:
>> The purpose of this task is to add the difference between -manual jdk_core >> and jdk_core_manual to the jdk_core_manual test goal. Furthermore, in order >> to streamline the manual test execution process, a new test group called >> jdk_core_manual_human has been created for manual tests that demand extra >> preparation or test input. > > Bill Huang has updated the pull request incrementally with one additional > commit since the last revision: > > Renamed jdk_core_manual to jdk_core_manual_interactive Marked as reviewed by msheppar (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/12840#pullrequestreview-1381338834