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

Triggered via push November 29, 2024 20:00
@shonfedershonfeder
pushed 619aac5
master
Status Success
Total duration 4m 34s
Artifacts 1

docs.yml

on: push
Deploy odoc to GitHub Pages
4m 22s
Deploy odoc to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
773 KB