Skip to content
continuous integration

fix archive #5656

Sign in to view logs

fix archive

fix archive #5656

Triggered via push December 13, 2025 11:50
@Ruben-VandeVeldeRuben-VandeVelde
pushed 72824e4
nightly-testing
Status Failure
Total duration 11m 45s
Artifacts 1

build.yml

on: push
Build
11m 43s
Build
Lint style
1m 59s
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
❌️ Docstring on `#guard_msgs` does not match generated message:

Artifacts

Produced during runtime
Name Size Digest
mathlib4_artifact
1.85 GB
sha256:338a7fcb75b66a998d246537b1b6c1a333cf487a9f7f6901c258f7d306aa6037