Skip to content

Merge main into develop #6258

Merge main into develop

Merge main into develop #6258

Triggered via pull request October 13, 2025 07:57
@hmottestadhmottestad
synchronize #5524
main
Status Success
Total duration 20m 44s
Artifacts

pr-verify.yml

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

Annotations

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