Skip to content
Deploy odoc to GitHub Pages

update readme #15

Sign in to view logs

update readme

update readme #15

Triggered via push September 25, 2024 11:19
@KhadyKhady
pushed 87a4aab
main
Status Success
Total duration 2m 30s
Artifacts 1

deploy-doc.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
599 KB