Hi and welcome to the forums.

About the only thing the ex would be is in contempt of a court order.

Creditors really do not care about what is in a divorce decree and are not bound by them.  As long as they both signed for the house, they are equally liable for the debt.

Is her bankruptcy showing up on his CR?