Skip to content

Bump mathlib

Bump mathlib #293

Annotations

2 warnings

Build project

succeeded Dec 29, 2024 in 27m 25s
Set up job
4s
Checkout project
1s
Print files to upstream
0s
Count sorries
0s
Install elan
8s
Get cache
1m 8s
Build project
2m 47s
Cache mathlib docs
0s
Build documentation
17m 43s
Build blueprint and copy to `docs/blueprint`
2m 18s
Move documentation to `docs/docs`
0s
Bundle dependencies
26s
Build website using Jekyll
5s
Upload docs & blueprint artifact
8s
Deploy to GitHub Pages
17s
Make sure the cache works
0s
Post Cache mathlib docs
2m 13s
Post Checkout project
0s
Complete job
0s