The federal public service has shrunk for the first time since 2015, after shedding nearly 10,000 jobs over the last year, ...