chore: update Mathlib dependencies 2025-09-08-00-32 #203257
mathlib4-update-dependencies-botbuild.yml
on: push
Lint style
2m 32s
Build
49m 10s
Post-CI job
0s
CI Success
0s
Annotations
2 errors
|
Build
Process completed with exit code 3.
|
|
Post-Build Step
Process completed with exit code 3.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
mathlib4_artifact
Expired
|
1.64 GB |
sha256:d3d267da5917fe6b7626eb0b814419140a24bc7f732493f17e9eb204236bd3be
|
|