The size of the federal workforce has been remarkably stable for decades[1]. It hasn't dipped below 2.7 million since 1967 ad only recently cracked 3 million again.

[1] https://fred.stlouisfed.org/series/CES9091000001