Skip to content
Lint check

Lint code #38

Sign in to view logs

Lint code

Lint code #38

Triggered via push June 12, 2024 09:59
@snejussnejus
pushed d7bf28d
master
Status Success
Total duration 48s
Artifacts –

lint.yml

on: push
Get changed files
7s
Get changed files
Check formatting
19s
Check formatting
Check linting
16s
Check linting
Check types with mypy
14s
Check types with mypy
Check docs
24s
Check docs
Fit to window
Zoom out
Zoom in