Skip to content
Publish docs via GitHub Pages

Merge pull request #140 from dandi/fix_indents #96

Sign in to view logs

Merge pull request #140 from dandi/fix_indents

Merge pull request #140 from dandi/fix_indents #96

Triggered via push July 9, 2024 18:26
@bendichterbendichter
pushed f08eae4
master
Status Success
Total duration 33s
Artifacts –

publishdocs.yaml

on: push
Deploy docs
24s
Deploy docs
Fit to window
Zoom out
Zoom in