Skip to content
Linters

Merge pull request #1355 from dandi/no-dirsep #5172

Sign in to view logs

Merge pull request #1355 from dandi/no-dirsep

Merge pull request #1355 from dandi/no-dirsep #5172

Triggered via push November 16, 2023 20:16
@yarikopticyarikoptic
pushed 3253e1f
master
Status Success
Total duration 9m 51s
Artifacts –

lint.yml

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