Já o Ministério da Gestão e da Inovação em Serviços Públicos (MGI) destacou que o dia 15 de outubro não consta entre os dias de feriado ou ponto facultativo previstos pela Portaria MGI 11.460/2025. A coluna, porém, consultou algumas instituições de ensino do Rio de Janeiro, já que elas têm autonomia sobre o próprio calendário:




