Yeah. HR had most likely started the final bonus payout process before they knew about the bank's situation. This was just a coincidence of timing.
I got my bonus for 2022 paid out on March 3rd. Everyone in my company knew the bonus payout date months ago.