Skip to content

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

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 #105

Triggered via pull request October 7, 2025 07:42
Status Cancelled
Total duration 1m 18s
Artifacts

Linter.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

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