Skip to content

chore: add mathlib4-nightly-available label (#11526) #48090

chore: add mathlib4-nightly-available label (#11526)

chore: add mathlib4-nightly-available label (#11526) #48090

Triggered via push December 8, 2025 14:50
Status Success
Total duration 58m 10s
Artifacts 1

ci.yml

on: push
configure
4s
configure
Matrix: build / build
Matrix: build-secondary / build
Waiting for pending jobs
Build matrix complete
4s
Build matrix complete
release
0s
release
release-nightly
0s
release-nightly
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
build-Linux release
623 MB
sha256:5234a73e5eb8548a9eb321a04e5d9ca4771d069b070e810389a5fa0e7ea24ef5