Deploy odoc to GitHub Pages

changes: 0.0.3 #27

Sign in to view logs

Triggered via push October 19, 2024 13:19

Khady

main

Status Success

Total duration 3m 4s

Artifacts 1

deploy-doc.yml

on: push

Deploy odoc to GitHub Pages

Artifacts

Produced during runtime

Name	Size
github-pages Expired	599 KB