claude-bot 3e0782c62a ci: fetch the Mathlib cache only through the retry loop ...

Mathlib's post-update hook fetched the cache inside 'lake update', where a few
dropped transfers failed the build before the retries could run. Disable the
hook, retry up to six times, and keep the archives in a BuildKit cache mount so
a retried image build resumes.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6

2026-10-21 11:32:39 +00:00

..

prepare-mathlib.sh

ci: fetch the Mathlib cache only through the retry loop

2026-10-21 11:32:39 +00:00

runner-probe.mjs

ci: probe Docker through the runner socket

2026-09-23 22:36:34 +08:00