Skip to content

Merge main into develop (#4797) #847

Merge main into develop (#4797)

Merge main into develop (#4797) #847

Triggered via push October 5, 2023 21:40
Status Success
Total duration 37m 20s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

9 errors and 2 warnings
build (21)
java.lang.InterruptedException
build (21)
java.lang.InterruptedException
build (21)
Connection has been closed
build (21)
java.lang.InterruptedException
build (21)
Connection has been closed
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
Connection has been closed
build (21)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (11)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/