Skip to content
Update Dependencies

Update Dependencies #5

Sign in to view logs

Update Dependencies

Update Dependencies #5

Triggered via schedule June 10, 2026 07:33
@RemyDegenneRemyDegenne
⁠ 3cb76ba
main
Status Failure
Total duration 14s
Artifacts –

update.yml

on: schedule
bump
7s
bump
open-issue
11s
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 8850ed93863d6ce27210a673f9ed235a4e8a2994 (8850ed93863d6ce27210a673f9ed235a4e8a2994) is BEHIND the current pin e912d6b313529e5ceb784745057de4e1dcc964b0 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 0c154d67103f74be3a0f2c509f72ccbf5be9f2a7 (0c154d67103f74be3a0f2c509f72ccbf5be9f2a7) is BEHIND the current pin e912d6b313529e5ceb784745057de4e1dcc964b0 in leanprover-community/mathlib4.