Skip to content

Merge main into develop #6725

Merge main into develop

Merge main into develop #6725

Triggered via pull request February 18, 2026 21:42
@hmottestadhmottestad
synchronize #5684
main
Status Failure
Total duration 27m 53s
Artifacts

pr-verify.yml

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

Annotations

16 errors
build (21)
Resource not accessible by integration
build (21)
Process completed with exit code 1.
build (21)
java.lang.InterruptedException
build (21)
java.lang.InterruptedException
build (21)
java.lang.InterruptedException
build (21)
Connection has been closed
build (21)
java.lang.InterruptedException
build (21)
Connection has been closed
build (25)
The strategy configuration was canceled because "build._21" failed
build (25)
The operation was canceled.
build (25)
java.lang.InterruptedException
build (25)
Connection has been closed
build (25)
Connection has been closed
build (25)
java.lang.InterruptedException
build (25)
java.lang.InterruptedException
build (25)
Connection has been closed