Skip to content

devenv: skip the cache warning if the requested substituters are already configured #3247

devenv: skip the cache warning if the requested substituters are already configured

devenv: skip the cache warning if the requested substituters are already configured #3247

lean4 (self-hosted,macOS,ARM64)

succeeded Nov 25, 2024 in 1m 55s