https://www.brookings.edu/articles/is-government-too-big-ref...
Every publication I've looked at has the overall spending for federal employee salaries as around 280 billion. The total budget is around 6 trillion.