Repartições públicas estaduais funcionam normalmente no Dia do Servidor; feriado é transferido para 1º de novembro