On Sat, 7 Jan 2023 08:29:26 GMT, Sergey Bylokhov <serb at openjdk.org> wrote: > Just a curious, is it possible to release the jcov build on the related jcov GitHub page? This would be a question to @lkuskov ------------- PR: https://git.openjdk.org/jdk/pull/11886