Skip to content
Lint PR Title

Remove pointless ignore #3

Sign in to view logs

Remove pointless ignore

Remove pointless ignore #3

Triggered via pull request August 31, 2023 13:59
@timostammtimostamm
opened #3
tstamm/remove-useless-ignore
Status Success
Total duration 16s
Artifacts –

pr-title.yaml

on: pull_request
lint  /  lint
2s
lint / lint
Fit to window
Zoom out
Zoom in