 But they are ignored since government workers pretty much keep their jobs no matter what and most probably plan to keep kicking back until they retire at 50, well, perhaps 55, which is apparently the standard retirement age for government workers. Their union sums it up, quote, they worked heroically through the pandemic.