GitHub CI

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

Sign in to view logs

Triggered via push November 10, 2025 09:52

slachiewicz

master

Status Success

Total duration 5m 56s

Artifacts –

maven.yml

on: push

Build it / fail-fast-build

Matrix: Build it / verify

Deploy / Deploy