Skip to content

merge main into develop #5639

merge main into develop

merge main into develop #5639

Triggered via pull request April 15, 2025 13:08
Status Success
Total duration 15m 41s
Artifacts

pr-verify.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

10 errors
build (21)
java.lang.InterruptedException
build (21)
java.lang.InterruptedException
build (21)
Connection is closed
build (21)
java.lang.InterruptedException
build (21)
Connection has been closed
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