Skip to content
Build and Deploy documentation

build report as part of docs deployment #2

Sign in to view logs

build report as part of docs deployment

build report as part of docs deployment #2

Triggered via push January 14, 2024 20:13
@palmskogpalmskog
pushed 72864fe
master
Status Failure
Total duration 1m 44s
Artifacts –

deploy-docs.yml

on: push
build-coqdoc
1m 34s
build-coqdoc
Fit to window
Zoom out
Zoom in