No. I don't recall seeing any reduction in the overall number of full-time equivalents or employees in the federal public service as a whole. There might have been decreases in some specific areas or in some specific agencies or departments, but as a whole, the public service has increased consistently year after year.
On April 18th, 2024. See this statement in context.