Skip to content
Deploy odoc to GitHub Pages

ci: add auto format #26

Sign in to view logs

ci: add auto format

ci: add auto format #26

Triggered via push October 19, 2024 13:17
@KhadyKhady
pushed e8c6ede
main
Status Cancelled
Total duration 2m 4s
Artifacts –

deploy-doc.yml

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

Annotations

2 errors
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.