Format source code and run git diff instead of listing first
#523
Triggered via pull request
November 24, 2025 12:30
ahoppen
Status
Cancelled
Total duration
12m 50s
Artifacts
–
pull_request.yml
on: pull_request
Soundness
/
API breakage check
5m 10s
Soundness
/
Documentation check
2m 24s
Soundness
/
Unacceptable language check
4s
Soundness
/
License headers check
9s
Soundness
/
Broken symlinks check
8s
Soundness
/
Format check
36s
Soundness
/
Shell check
25s
Soundness
/
YAML lint check
9s
Soundness
/
Python lint check
11s
Check compatibility with real world projects
8m 40s
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
Annotations
11 errors
|
Test / Windows (6.1 - windows-2022)
Process completed with exit code 1.
|
|
Test / Windows (5.9 - windows-2022)
Process completed with exit code 1.
|
|
Check compatibility with real world projects
Process completed with exit code 1.
|
|
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.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 - 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.
|
|
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
|