Skip to content
continuous integration

Move the library note to a new file. #5625

Sign in to view logs

Move the library note to a new file.

Move the library note to a new file. #5625

Triggered via push December 11, 2025 12:40
@VierkantorVierkantor
pushed 44345d8
batteries-pr-testing-1545
Status Failure
Total duration 58m 42s
Artifacts 1

build.yml

on: push
Build
58m 39s
Build
Lint style
2m 4s
Lint style
Post-Build Step
Post-Build Step
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
mathlib4_artifact
2 GB
sha256:9ebe8bb8a34542914714d7b7e3d1a14a5689b664c32f067a843ebbeff7ebc8d4