As a former govt employee who went through a couple of shut downs; I can attest that they will eventually get that back pay.
They always get their money.