Skip to content

Bump mathlib to v4.24.0 #658

Bump mathlib to v4.24.0

Bump mathlib to v4.24.0 #658

Triggered via pull request November 9, 2025 18:56
@YaelDilliesYaelDillies
synchronize #259
bump
Status Failure
Total duration 3m 10s
Artifacts

push_pr.yml

on: pull_request
Lint style
4s
Lint style
Build project
3m 6s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 1.