Ah, I am probably wrong. My husband was in the military during a shutdown, and I remember he was paid, but now I remember it was our credit union that covered his paychecks.
I remember it not being a problem, pay-check wise, for other people. We all probably banked through the same credit union, though (navy federal).