On Mon, 16 Nov 2020 18:53:20 GMT, Igor Ignatyev <iignat...@openjdk.org> wrote:
>> Hi all, >> >> Could you please review this small and trivial patch which adds >> `linux-x64-optimized` build to submit workflow so breakages of this build >> flavor would be easier to spot? >> >> Thanks, >> -- Igor > > Igor Ignatyev has updated the pull request incrementally with one additional > commit since the last revision: > > added --disable-precompiled-headers Marked as reviewed by shade (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/1233
