setup
checks.x86_64-linux.pkgs-lean-ctx
· build #11025
· raw
1don't know how to build these paths:2 /nix/store/chgwqjyxcv9a1yqj6pswk0pw8r0fk1ya-check-lean-ctx.drv3warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user4h90icvz4247xkdibm38jbb9256x5cgw7-lean-ctx-3.12.5.drv: Stream removed (Socket closed), asking the scheduler again5scheduler at farm.numtide.com:50051: Stream removed (Socket closed), reconnecting6scheduler at farm.numtide.com:50051: failed to connect to all addresses; last error: UNKNOWN: ipv4:127.0.0.2:50051: Failed to connect to remote host: Connection refused, reconnecting7scheduler at farm.numtide.com:50051: failed to connect to all addresses; last error: UNKNOWN: ipv4:127.0.0.2:50051: Failed to connect to remote host: Connection refused, reconnecting