Yeah, they’re taking “personal time” off to agitate. One of the worst things that ever happened to the American taxpayer was allowing Federal employees to unionize. And I say that as someone who isn’t unconditionally against all unions in all industries.
And there's so much redundancy that half of them could take the day off and there'd still be plenty of people at work to make sure everything got done.
I remember my days being a state employee.