Fixes #1969: Enhance ElDoc integration #860
Triggered via pull request
September 9, 2025 21:58
Status
Cancelled
Total duration
6m 57s
Artifacts
–
Annotations
13 errors and 4 notices
build (windows-latest, 26.3, false)
Process completed with exit code 1.
|
build (windows-latest, 26.3, false)
The operation was canceled.
|
build (windows-latest, 26.3, false)
Canceling since a higher priority waiting request for CI-refs/pull/1980/merge exists
|
build (windows-latest, 27.2, false)
Process completed with exit code 1.
|
build (windows-latest, 27.2, false)
The operation was canceled.
|
build (windows-latest, 27.2, false)
Canceling since a higher priority waiting request for CI-refs/pull/1980/merge exists
|
build (windows-latest, 28.2, false)
Process completed with exit code 1.
|
build (windows-latest, 28.2, false)
The operation was canceled.
|
build (windows-latest, 28.2, false)
Canceling since a higher priority waiting request for CI-refs/pull/1980/merge exists
|
build (windows-latest, 29.4, false)
Process completed with exit code 1.
|
build (windows-latest, 29.4, false)
The operation was canceled.
|
build (windows-latest, 29.4, false)
Canceling since a higher priority waiting request for CI-refs/pull/1980/merge exists
|
CI
Canceling since a higher priority waiting request for CI-refs/pull/1980/merge exists
|
build (windows-latest, 26.3, false)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
|
build (windows-latest, 27.2, false)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
|
build (windows-latest, 28.2, false)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
|
build (windows-latest, 29.4, false)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
|