Skip to content

Merge main into develop #5945

Merge main into develop

Merge main into develop #5945

Triggered via pull request September 15, 2025 15:16
@hmottestadhmottestad
synchronize #5432
main
Status Success
Total duration 15m 59s
Artifacts

pr-verify.yml

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

Annotations

11 errors
build (24)
Connection has been closed
build (24)
java.lang.InterruptedException
build (24)
java.lang.InterruptedException
build (24)
Connection has been closed
build (24)
Connection has been closed
build (24)
java.lang.InterruptedException
build (24)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException