Skip to content

Rename job from 'check' to 'lint' in workflow #4

Rename job from 'check' to 'lint' in workflow

Rename job from 'check' to 'lint' in workflow #4

Triggered via pull request October 23, 2025 20:51
Status Success
Total duration 28s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in