When does backpay come through?

I was furloughed in 2013, but don't remember whether we'll get our missing paychecks as soon as possible after the government reopens, or if it won't be until the next pay cycle. Does anyone recall from the 2019 shutdown? Thanks!