Skip to content
Deploy odoc to GitHub Pages

Update README.md #5

Sign in to view logs

Update README.md

Update README.md #5

Triggered via push December 24, 2023 20:41
@KhadyKhady
pushed bc8ea12
main
Status Cancelled
Total duration 1m 45s
Artifacts –

deploy-doc.yml

on: push
Deploy odoc to GitHub Pages
1m 34s
Deploy odoc to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
Deploy odoc to GitHub Pages
Canceling since a higher priority waiting request for 'deploy-odoc' exists
Deploy odoc to GitHub Pages
The operation was canceled.
Deploy odoc to GitHub Pages
Environment URL '' is not a valid http(s) URL, so it will not be shown as a link in the workflow graph.