Commit 2026-09-29 23:48 53d81a3d

fix(cache): avoid misleading message on refs not built "on purpose" (#41983) cache get on a fork printed a "no cache found for HEAD" note whenever the per-SHA fork marker was absent, even when every file was then served from mathlib's master cache — which is always the case for a tooling-only PR (its CI build stages zero files, so the upload job and the marker are skipped by design). Reported in https://github.com/leanprover-community/mathlib4/pull/41707#discussion_r3602459565. The note is now printed after the download rounds and only when files are actually missing; cache query's no-result message names both possible causes (CI hasn't built the commits, or its builds had nothing fork-specific to upload) instead of claiming the first. 🤖 Generated with Claude Code