I don’t know where he’s getting his information, but federal employees were not given the day off on Friday. Maybe DC employees were, but not the feds.
TC
I think the federal employees in DC did get the day off, but not elsewhere.