Skip to content
Deploy Lean Documentation to Pages

update to Lean 4.9 (#421) #101

Sign in to view logs

update to Lean 4.9 (#421)

update to Lean 4.9 (#421) #101

Triggered via push August 22, 2024 15:45
@cdisselkoencdisselkoen
pushed e3febe2
main
Status Failure
Total duration 4m 8s
Artifacts –

deploy_docs.yml

on: push
build
2m 4s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.