They considered it a furlough so I expect rules are different. A massive firing would have different rules but the guberment would not do that.
Typically, furloughs are a percentage of their salaries offset by unemployment benefits.........
I have no sympathy for these govt. employees who have likely never, ever been laid off, unlike the auto workers I spent my entire life with.............