Skip to content

feat(cache): record transport fields on a failed transfer - #44048

Open
marcelolynch wants to merge 3 commits into
leanprover-community:masterfrom
marcelolynch:cache-transfer-failure-diagnostics
Open

marcelolynch wants to merge 3 commits into
leanprover-community:masterfrom
marcelolynch:cache-transfer-failure-diagnostics

tweak / fix

3b776b8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
post-or-update-summary-comment
succeeded Sep 22, 2026 in 1m 7s