Skip to content
bump lean and dependencies

bump lean and dependencies #1857

Sign in to view logs

bump lean and dependencies

bump lean and dependencies #1857

Triggered via schedule March 10, 2026 02:51
@jcommelinjcommelin
⁠ 087fffa
master
Status Failure
Total duration 1m 11s
Artifacts –

upgrade_lean.yml

on: schedule
Bump lean and dependencies
1m 9s
Bump lean and dependencies
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Bump lean and dependencies
The process '/usr/bin/git' failed with exit code 128
Bump lean and dependencies
could not read Username for 'https://github.com': terminal prompts disabled
Bump lean and dependencies
could not read Username for 'https://github.com': terminal prompts disabled
Bump lean and dependencies
could not read Username for 'https://github.com': terminal prompts disabled