Skip to content

Merge main into develop (#5597) #992

Merge main into develop (#5597)

Merge main into develop (#5597) #992

Triggered via push December 6, 2025 15:28
Status Failure
Total duration 34m 30s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

22 errors
build (11)
Resource not accessible by integration - https://docs.github.com/rest/checks/runs#create-a-check-run
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
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
build (17)
The strategy configuration was canceled because "build._11" failed
build (17)
java.lang.InterruptedException
build (17)
Connection has been closed
build (17)
Connection has been closed
build (17)
Connection has been closed
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException