Def Cache.Requests.isDetachedAtNightlyTesting

Modification history

2026-10-08 13:29
Cache/Requests.lean
feat(Cache): treat nightly-testing as a fork (#44388) …
Deleted Cache.Requests.isDetachedAtNightlyTestingView on Github →
2025-08-12 05:09
Cache/Requests.lean
feat: add cache support for nightly-testing-YYYY-MM-DD tags (#28029) …
Added Cache.Requests.isDetachedAtNightlyTestingView on Github →