Skip to content
Deploy odoc to GitHub Pages

Bump actions/deploy-pages from 3 to 4 #3

Sign in to view logs

Bump actions/deploy-pages from 3 to 4

Bump actions/deploy-pages from 3 to 4 #3

Triggered via push December 22, 2023 13:58
@KhadyKhady
pushed f902641
main
Status Cancelled
Total duration 24s
Artifacts –

deploy-doc.yml

on: push
Deploy odoc to GitHub Pages
0s
Deploy odoc to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

1 error
Deploy odoc to GitHub Pages
Canceling since a higher priority waiting request for 'deploy-odoc' exists