chore: update Mathlib dependencies 2026-02-25-04-41 #209549
mathlib-update-dependencies[bot]build.yml
on: push
ci
/
Build
51m 17s
ci
/
Lint style
1m 59s
ci
/
Post-CI job
9s
Annotations
1 error and 2 warnings
|
ci / Build
Process completed with exit code 3.
|
|
ci / Build
Cache directory does not exist: /home/lean/.cache/mathlib
|
|
ci / Post-CI job
Unexpected input(s) 'owner', 'name', 'number', valid inputs are ['query', 'mediaType', 'variables']
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cache-staging
|
371 MB |
sha256:3963a0d736a662f29e4180a98cbf95907bde78d21ba18ebb43b1953ed2feeec3
|
|
|
import-graph
Expired
|
275 KB |
sha256:cbff521a1ff088761b530a9c892f3f7d0ad3ee301de263e768a57520b7b12afd
|
|