Linter - [Remove Settings with predefined settings #18] by @MariusStorhaug
#103
Triggered via pull request
October 11, 2025 15:02
Status
Cancelled
Total duration
1m 17s
Artifacts
–
Annotations
3 errors
|
Lint code base
The operation was canceled.
|
|
Lint code base
Canceling since a higher priority waiting request for Linter-refs/pull/18/merge exists
|
|
Linter
Canceling since a higher priority waiting request for Linter-refs/pull/18/merge exists
|