Skip to content

Merge main into develop (#5377) #945

Merge main into develop (#5377)

Merge main into develop (#5377) #945

Triggered via push July 17, 2025 18:41
Status Success
Total duration 35m 16s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

9 errors
build (11)
java.lang.InterruptedException
build (11)
Connection has been closed
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException
build (17)
No active transaction
build (17)
Connection has been closed
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException