Skip to content
Update Dependencies

Update Dependencies #426

Sign in to view logs

Update Dependencies

Update Dependencies #426

Triggered via schedule September 22, 2026 12:14
@RemyDegenneRemyDegenne
⁠ 0fe9a45
main
Status Failure
Total duration 20s
Artifacts –

update.yml

on: schedule
bump
5s
bump
open-issue
16s
open-issue
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 2 notices
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 5089c5770e1c3481892c285dca23055685da92c5 (5089c5770e1c3481892c285dca23055685da92c5) is BEHIND the current pin 065356127b1dc0016f66b7283ce0ce2c4055aa55 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 8319c83af32e262ad477c8a896a0859cdd061b16 (8319c83af32e262ad477c8a896a0859cdd061b16) is BEHIND the current pin 065356127b1dc0016f66b7283ce0ce2c4055aa55 in leanprover-community/mathlib4.
bump
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
open-issue
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"