Skip to content
continuous integration

deprecation #5655

Sign in to view logs

deprecation

deprecation #5655

Triggered via push December 13, 2025 10:50
@kim-emkim-em
pushed a3185bb
nightly-testing
Status Failure
Total duration 41m 9s
Artifacts 1

build.yml

on: push
Build
40m 51s
Build
Lint style
2m 17s
Lint style
Post-Build Step
0s
Post-Build Step
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build
Process completed with exit code 1.
Build
Process completed with exit code 1.
Build
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
mathlib4_artifact
1.97 GB
sha256:c445f9bec2d4331d71559c71c569e73fd40d66930caf8aadbef197043e61532b