Skip to content
Lint

Rename tool columns and add documentation (#222) #729

Sign in to view logs

Rename tool columns and add documentation (#222)

Rename tool columns and add documentation (#222) #729

Triggered via push November 6, 2024 17:51
@paulziereppaulzierep
pushed e51d06e
main
Status Success
Total duration 32s
Artifacts –

lint.yaml

on: push
lint
22s
lint
Fit to window
Zoom out
Zoom in