Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: echidna 2.3.1 -> 2.3.3 https://github.com/crytic/echidna/releases attrpath: echidna Checking auto update branch... No auto update branch exists HTTPError (HttpExceptionRequest Request { host = "api.github.com" port = 443 secure = True requestHeaders = [("User-Agent","github.hs/0.28.0.1"),("Accept","application/vnd.github.v3+json"),("Authorization","")] path = "/search/issues" queryString = "?q=repo%3Anixos%2Fnixpkgs%20echidna%3A%202.3.1%20-%3E%202.3.3" method = "GET" proxy = Nothing rawBody = False redirectCount = 10 responseTimeout = ResponseTimeoutDefault requestVersion = HTTP/1.1 proxySecureMode = ProxySecureWithConnect } (InternalException (HostCannotConnect "api.github.com" [Network.Socket.connect: : does not exist (Connection refused)])))