Skip to content
Update Dependencies

Update Dependencies #379

Sign in to view logs

Update Dependencies

Update Dependencies #379

Triggered via schedule September 10, 2026 18:11
@RemyDegenneRemyDegenne
⁠ 565f652
main
Status Failure
Total duration 21s
Artifacts –

update.yml

on: schedule
bump
9s
bump
open-issue
17s
open-issue
Fit to window
Zoom out
Zoom in

Annotations

6 errors
bump
Process completed with exit code 1.
bump
The published snapshot is older than this project's current dependency pin; bumping would move the pin backwards. No change has been made.
bump
Refusing to bump: target aac7f62efd959005409550d0edd0b5cb6b95bc6f (aac7f62efd959005409550d0edd0b5cb6b95bc6f) is BEHIND the current pin c02174567c98cac8b9a8e2ee34ee8e2ffa98df94 in leanprover-community/mathlib4.
open-issue
Process completed with exit code 1.
open-issue
The published snapshot is older than this project's current dependency pin; bumping would move the pin backwards. No change has been made.
open-issue
Refusing to bump: target 8819c75f772c612aa44445c09aca75b9ce667209 (8819c75f772c612aa44445c09aca75b9ce667209) is BEHIND the current pin c02174567c98cac8b9a8e2ee34ee8e2ffa98df94 in leanprover-community/mathlib4.