20 Mar
2023
20 Mar
'23
9:25 a.m.
Bryan Richter via ghc-devs
I eventually resorted to a server reboot, which cleared up all the problems I was seeing. I think we're back in business.
The root partition was close to running out of disk space yesterday. The problem appears to be that /nix is located on the small system drive. We should really address this although moving /nix is sadly not easy and will certainly require downtime. Cheers, - Ben