Skip to content
Build and Deploy documentation

only use necessary tex packages #6

Sign in to view logs

only use necessary tex packages

only use necessary tex packages #6

Triggered via push January 14, 2024 20:34
@palmskogpalmskog
pushed b707d94
master
Status Failure
Total duration 2m 36s
Artifacts –

deploy-docs.yml

on: push
build-coqdoc
2m 29s
build-coqdoc
Fit to window
Zoom out
Zoom in