GitHub CI

#420: fix detection of java version when JAVA_TOOL_OPTIONS is set #1301

Sign in to view logs

Re-run triggered October 28, 2025 20:27

slawekjaranowski

#426

glhez:master

Status Success

Total duration 6m 28s

Artifacts –

maven.yml

on: pull_request

Build it / fail-fast-build

Matrix: Build it / verify

Deploy / Deploy