Dear devs, Nightly builds of Liquid Haskell seem to be failing because https://ghc.gitlab.haskell.org gives 502 bad gateway. LH needs https://ghc.gitlab.haskell.org/ghcup-metadata/ghcup-nightlies-0.0.7.yaml Is there anyone I should tell about it? Thanks, Facundo -- All views and opinions expressed in this email message are the personal opinions of the author and do not represent those of the organization or its customers.