You're not looking hard enough.
This doesn't split out "civil servants" who are a very specific group of admin and specialist officers who include prison officers, air traffic controllers, vets, lawyers and accountants among others. IIRC these number around 2500 of all public servants. This was found using google.
This is from an FOI late last year (number 3486125)