Skip to content

Merge main into develop #5831

Merge main into develop

Merge main into develop #5831

Triggered via pull request August 7, 2025 09:00
@JervenBollemanJervenBolleman
synchronize #5388
main
Status Success
Total duration 15m 24s
Artifacts

pr-verify.yml

on: pull_request
formatting-and-quick-compile
1m 23s
formatting-and-quick-compile
copyright-check
25s
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)
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