Skip to content
build and deploy mathlib4 docs

build and deploy mathlib4 docs #1571

Sign in to view logs

build and deploy mathlib4 docs

build and deploy mathlib4 docs #1571

Manually triggered December 19, 2024 08:05
@hargoniXhargoniX
⁠ aa305ac
main
Status Cancelled
Total duration 4m 32s
Artifacts –

docs.yaml

on: workflow_dispatch
build and deploy mathlib4 docs
4m 25s
build and deploy mathlib4 docs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build and deploy mathlib4 docs
The run was canceled by @hargoniX.
build and deploy mathlib4 docs
The operation was canceled.