Skip to content
Deploy Lean Documentation to Pages

Linter script to check import of top-level proofs (#444) #116

Sign in to view logs

Linter script to check import of top-level proofs (#444)

Linter script to check import of top-level proofs (#444) #116

Triggered via push September 27, 2024 15:39
@eminaemina
pushed 8847372
main
Status Success
Total duration 3m 37s
Artifacts –

deploy_docs.yml

on: push
build
3m 6s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in