Skip to content

Prepare for next major release by merging develop (5.3.0-SNAPSHOT) into the main branch #6530

Prepare for next major release by merging develop (5.3.0-SNAPSHOT) into the main branch

Prepare for next major release by merging develop (5.3.0-SNAPSHOT) into the main branch #6530

Triggered via pull request December 23, 2025 10:35
@hmottestadhmottestad
synchronize #5636
develop
Status Success
Total duration 25m 28s
Artifacts

pr-verify.yml

on: pull_request
formatting-and-quick-compile
1m 26s
formatting-and-quick-compile
copyright-check
27s
copyright-check
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

20 errors
build (25)
java.lang.InterruptedException
build (25)
Connection is closed
build (25)
java.lang.InterruptedException
build (25)
Connection has been closed
build (25)
java.lang.InterruptedException
build (25)
java.lang.InterruptedException
build (25)
java.lang.InterruptedException
build (25)
java.lang.InterruptedException
build (25)
java.lang.InterruptedException
build (25)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
Connection is closed
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
Connection has been closed
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException