Skip to content

Lint code

Lint code #1030

Triggered via pull request February 23, 2025 18:37
Status Failure
Total duration 50s
Artifacts

lint.yml

on: pull_request
Get changed files
11s
Get changed files
Check formatting
12s
Check formatting
Check linting
17s
Check linting
Check types with mypy
22s
Check types with mypy
Check docs
22s
Check docs
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Check docs
Process completed with exit code 1.
Get changed files
Unable to find merge base between 5c8f1c1ee578982c1b334eb5e0f735afd28c7066 and 1c92300d8a1db6b8361475385cf71e01b0bafbf9
Get changed files
Unable to find merge base between 5c8f1c1ee578982c1b334eb5e0f735afd28c7066 and 1c92300d8a1db6b8361475385cf71e01b0bafbf9