Skip to content

Merge main into develop (#5600) #993

Merge main into develop (#5600)

Merge main into develop (#5600) #993

Triggered via push December 8, 2025 11:40
Status Failure
Total duration 42m 50s
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)
Connection has been closed
build (11)
Connection has been closed
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 (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 is closed
build (17)
Sail is shutdown
build (17)
Connection has been closed
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException
build (17)
Connection has been closed
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException