Def Cache.Test.test_forkHintSHA_guards

Modification history

2026-09-29 23:48

Cache/Test.lean

fix(cache): avoid misleading message on refs not built "on purpose" (#41983) …

Added Cache.Test.test_forkHintSHA_guards View on Github →