Skip to content

Format source code and run git diff instead of listing first #525

Format source code and run git diff instead of listing first

Format source code and run git diff instead of listing first #525

Triggered via pull request November 24, 2025 12:44
Status Cancelled
Total duration 3m 37s
Artifacts

pull_request.yml

on: pull_request
Soundness  /  API breakage check
2m 52s
Soundness / API breakage check
Soundness  /  Documentation check
2m 17s
Soundness / Documentation check
Soundness  /  Unacceptable language check
5s
Soundness / Unacceptable language check
Soundness  /  License headers check
7s
Soundness / License headers check
Soundness  /  Broken symlinks check
8s
Soundness / Broken symlinks check
Soundness  /  Format check
35s
Soundness / Format check
Soundness  /  Shell check
29s
Soundness / Shell check
Soundness  /  YAML lint check
6s
Soundness / YAML lint check
Soundness  /  Python lint check
7s
Soundness / Python lint check
Check compatibility with real world projects
2m 52s
Check compatibility with real world projects
Matrix: Test / android-sdk-build
Matrix: Test / embedded-wasm-sdk-build
Matrix: Test / ios-build
Matrix: Test / linux-build
Matrix: Test / linux-static-sdk-build
Matrix: Test / macos-build
Matrix: Test / wasm-sdk-build
Matrix: Test / windows-build
Fit to window
Zoom out
Zoom in

Annotations

27 errors
Check compatibility with real world projects
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Check compatibility with real world projects
The operation was canceled.
Test / Linux (nightly-main - jammy)
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Test / Linux (nightly-main - jammy)
The operation was canceled.
Test / Linux (nightly-6.2 - jammy)
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Test / Linux (nightly-6.2 - jammy)
The operation was canceled.
Test / Linux (6.1 - jammy)
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Test / Linux (6.1 - jammy)
The operation was canceled.
Soundness / API breakage check
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Soundness / API breakage check
The operation was canceled.
Test / Linux (6.2 - jammy)
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Test / Linux (6.2 - jammy)
The operation was canceled.
Test / Windows (6.2 - windows-2022)
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Test / Windows (6.2 - windows-2022)
The operation was canceled.
Test / Windows (nightly-6.2 - windows-2022)
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Test / Windows (nightly-6.2 - windows-2022)
The operation was canceled.
Test / Windows (6.0 - windows-2022)
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Test / Windows (6.0 - windows-2022)
The operation was canceled.
Test / Windows (nightly - windows-2022)
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Test / Windows (nightly - windows-2022)
The operation was canceled.
Test / Windows (6.1 - windows-2022)
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Test / Windows (6.1 - windows-2022)
The operation was canceled.
Test / Windows (5.9 - windows-2022)
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Test / Windows (5.9 - windows-2022)
The operation was canceled.
Pull request
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Pull request
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists
Pull request
Canceling since a higher priority waiting request for Pull request-refs/pull/1093/merge exists