Skip to content

Merge main into develop #6313

Merge main into develop

Merge main into develop #6313

Triggered via pull request November 3, 2025 14:44
@hmottestadhmottestad
synchronize #5528
main
Status Success
Total duration 22m 58s
Artifacts

pr-verify.yml

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

Annotations

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