Skip to content
Deploy odoc to GitHub Pages

update links after repo ownership transfer #13

Sign in to view logs

update links after repo ownership transfer

update links after repo ownership transfer #13

Triggered via push April 14, 2025 15:58
@eeelllccceeelllccc
pushed 2e85e16
main
Status Success
Total duration 10m 7s
Artifacts 1

docs.yml

on: push
Deploy odoc to GitHub Pages
9m 53s
Deploy odoc to GitHub Pages
https://alan-turing-institute.github.io/blue/
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
786 KB
sha256:7dfd0ddca752863607b85dd083216b029ddf1e888ad2c5ad2c29fbc19ab84b74