How soon could federal workers be paid after the government shutdown ends?

About 1.4 million employees missed their first full paychecks on Oct. 24 after receiving only partial pay on Oct. 10.