Skip to content
build and deploy mathlib4 docs

build and deploy mathlib4 docs #313

Sign in to view logs

build and deploy mathlib4 docs

build and deploy mathlib4 docs #313

Manually triggered November 11, 2023 15:04
@hargoniXhargoniX
⁠ 1f4ea76
main
Status Success
Total duration 12m 56s
Artifacts –

docs.yaml

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