It was not Pix being down, though. This is about banks using US cloud providers. The issue here was with private banks even.
As far I remember, Banco do Brasil and Caixa - both public banks, didn't went down, because they use Brazilian owned servers...