Skip to content
Deploy odoc to GitHub Pages

Merge pull request #397 from shonfeder/dont-crash-on-new-dirs #4

Sign in to view logs

Merge pull request #397 from shonfeder/dont-crash-on-new-dirs

Merge pull request #397 from shonfeder/dont-crash-on-new-dirs #4

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Deploy odoc to GitHub Pages
4m 22s
4m 22s