Skip to content
Deploy odoc to GitHub Pages

tmp #1

Sign in to view logs

tmp

tmp #1

Triggered via push December 22, 2023 13:50
@KhadyKhady
pushed 610cb58
louis/ocaml5
Status Failure
Total duration 4s
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

2 errors
Deploy odoc to GitHub Pages
Branch "louis/ocaml5" is not allowed to deploy to github-pages due to environment protection rules.
Deploy odoc to GitHub Pages
The deployment was rejected or didn't satisfy other protection rules.