Skip to content
Build and check HTML

Update README.md #7

Sign in to view logs

Update README.md

Update README.md #7

Triggered via push January 24, 2025 22:42
@joneugsterjoneugster
pushed 71caa47
main
Status Failure
Total duration 3m 6s
Artifacts 1

ci.yml

on: push
Build site and generate HTML
2m 42s
Build site and generate HTML
deploy
7s
deploy
https://leanprover-community.github.io/mathlib-manual/
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
deploy
Artifact could not be deployed. Please ensure the content does not contain any hard links, symlinks and total size is less than 10GB.
Build site and generate HTML
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
deploy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
30.1 MB
sha256:41715fb11c5bb129997c2b9115fc115a91d4346390e1f1e3c571e7e845a39c0a