The federal workforce shrunk by roughly 216,000 workers in 2025, according to federal data. Summary from source