Skip to content
Linter

Linter - [🩹 [Patch]: Enhance error handling and summary reporting in documentation generation #22] by @MariusStorhaug #108

Sign in to view logs

Linter - [🩹 [Patch]: Enhance error handling and summary reporting in documentation generation #22] by @MariusStorhaug

Linter - [🩹 [Patch]: Enhance error handling and summary reporting in documentation generation #22] by @MariusStorhaug #108

Triggered via pull request October 7, 2025 08:12
@MariusStorhaugMariusStorhaug
synchronize #22
improveDocsError
Status Cancelled
Total duration 1m 8s
Artifacts –

Linter.yml

on: pull_request
Lint code base
1m 4s
Lint code base
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Lint code base
The operation was canceled.
Lint code base
Canceling since a higher priority waiting request for Linter-refs/pull/22/merge exists
Linter
Canceling since a higher priority waiting request for Linter-refs/pull/22/merge exists