Como será o funcionamento de órgãos do Governo do Estado no feriado de 12 de outubro?