Skip to content
Update mathlib version

Update mathlib version #3073

Sign in to view logs

Update mathlib version

Update mathlib version #3073

Triggered via schedule July 21, 2025 04:04
@github-merge-queuegithub-merge-queue[bot]
⁠ 4a250a1
main
Status Failure
Total duration 3m 40s
Artifacts –

update-mathlib-version.yml

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

Annotations

9 errors
Update Mathlib & Lean (8)
Process completed with exit code 1.
Update Mathlib & Lean (1)
Process completed with exit code 1.
Update Mathlib & Lean (0)
Process completed with exit code 1.
Update Mathlib & Lean (7)
Process completed with exit code 1.
Update Mathlib & Lean (2)
Process completed with exit code 1.
Update Mathlib & Lean (3)
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 (5)
Process completed with exit code 1.