Dia do Servidor Público é feriado?

O Dia do Servidor Público, comemorado anualmente em 28 de outubro, gera dúvidas sobre sua condição de feriado. Diferente de um feriado nacional, essa data é ponto facultativo e não exatamente um feriado, ou seja, cada estado ou município…