Skip to content

Merge remote-tracking branch 'upstream/3.1' into 'upstream/4.0' #778

Merge remote-tracking branch 'upstream/3.1' into 'upstream/4.0'

Merge remote-tracking branch 'upstream/3.1' into 'upstream/4.0' #778

Triggered via push October 24, 2025 12:50
Status Success
Total duration 3m 29s
Artifacts 1

maven.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
license-summary.txt
7.35 KB
sha256:ab8b88915122fb25a75238d9672fb2f4465bcf5aa46ddc89a0636f6ec6b133d5