Skip to content
Deploy odoc

ghcr.io/repo prefix #32

Sign in to view logs

ghcr.io/repo prefix

ghcr.io/repo prefix #32

Triggered via push September 8, 2023 00:38
@just-maxjust-max
pushed 9b42eb7
docker-github-action
Status Success
Total duration 6m 41s
Artifacts –

odoc.yml

on: push
deploy-doc
6m 29s
deploy-doc
Fit to window
Zoom out
Zoom in