They actually aren't getting paid by the government but fortunately the agency itself banked enough money in overflow to afford to pay its workers for a couple months during the shutdown. Over time, that money could run out and their pay would stop but in theory they'd be eligible for backpay.