Skip to content
Update mathlib version

Update mathlib version #3156

Sign in to view logs

Update mathlib version

Update mathlib version #3156

Triggered via schedule July 24, 2025 14:49
@github-merge-queuegithub-merge-queue[bot]
⁠ 7c39670
main
Status Failure
Total duration 2m 3s
Artifacts –

update-mathlib-version.yml

on: schedule
Matrix: Update Mathlib & Lean
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Update Mathlib & Lean (7)
Process completed with exit code 1.
Update Mathlib & Lean (8)
Process completed with exit code 1.
Update Mathlib & Lean (5)
Process completed with exit code 1.
Update Mathlib & Lean (4)
Process completed with exit code 1.
Update Mathlib & Lean (6)
Process completed with exit code 1.
Update Mathlib & Lean (0)
Process completed with exit code 1.
Update Mathlib & Lean (2)
Process completed with exit code 1.
Update Mathlib & Lean (1)
Process completed with exit code 1.
Update Mathlib & Lean (3)
Process completed with exit code 1.