Deploy odoc to GitHub Pages

github: allow latest ubuntu #25

Sign in to view logs

Triggered via push October 19, 2024 12:14

Khady

main

Status Cancelled

Total duration 1h 3m 33s

Artifacts –

deploy-doc.yml

on: push

Deploy odoc to GitHub Pages

Annotations

1 error

Deploy odoc to GitHub Pages

Canceling since a higher priority waiting request for 'deploy-odoc' exists