Skip to content
continuous integration

Merge master into nightly-testing #5658

Sign in to view logs

Merge master into nightly-testing

Merge master into nightly-testing #5658

Triggered via push December 14, 2025 00:47
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed e0e4b37
nightly-testing
Status Failure
Total duration 56m 53s
Artifacts 1

build.yml

on: push
Build
56m 51s
Build
Lint style
2m 12s
Lint style
Post-Build Step
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
2.01 GB
sha256:f6130bea6cd63449f5d18e55f1e9bae472331a542c5b40de4050a576cb97a9fb