Deploy Lean Documentation to Pages

update to Lean 4.10 (#423) #102

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push August 22, 2024 15:58

cdisselkoen

main

Status Failure

Total duration 2m 14s

Artifacts –

deploy_docs.yml

on: push

Annotations

1 error

Process completed with exit code 1.