Skip to content
Deploy odoc to GitHub Pages

declare yojson dep for tests #2

Sign in to view logs

declare yojson dep for tests

declare yojson dep for tests #2

Triggered via push September 21, 2024 05:32
@KhadyKhady
pushed 3f3c234
main
Status Success
Total duration 2m 20s
Artifacts 1

deploy-doc.yml

on: push
Deploy odoc to GitHub Pages
2m 10s
Deploy odoc to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
599 KB