On Wed, 1 Mar 2023 22:24:03 GMT, Ahmed Muhsin <duke at openjdk.org> wrote: > Checking whether verification is required before running any of the verification steps. Lgtm. ------------- Marked as reviewed by tschatzl (Reviewer). PR: https://git.openjdk.org/jdk/pull/12818