Skip to content
Lint

Merge pull request #8259 from hugovk/rm-is_directory #2317

Sign in to view logs

Merge pull request #8259 from hugovk/rm-is_directory

Merge pull request #8259 from hugovk/rm-is_directory #2317

Triggered via push July 25, 2024 15:34
@hugovkhugovk
pushed 6dd4b3c
main
Status Success
Total duration 12m 43s
Artifacts –

lint.yml

on: push
Lint
2m 17s
Lint
Fit to window
Zoom out
Zoom in