Skip to content

merge main into develop #5768

merge main into develop

merge main into develop #5768

Triggered via pull request June 27, 2025 12:46
Status Success
Total duration 16m 37s
Artifacts

pr-verify.yml

on: pull_request
formatting-and-quick-compile
2m 11s
formatting-and-quick-compile
copyright-check
1m 1s
copyright-check
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

9 errors
build (24)
java.lang.InterruptedException
build (24)
java.lang.InterruptedException
build (24)
java.lang.InterruptedException
build (24)
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