On Thu, 10 Dec 2020 20:20:57 GMT, Igor Ignatyev <iignatyev at openjdk.org> wrote: >> Looks good to me. > > Thanks Jesper. This commit seems not to pass your workflow. https://github.com/iignatev/jdk/actions/runs/413640509 ------------- PR: https://git.openjdk.java.net/jdk/pull/1739