Determina que se proceda à publicação do Diário da República na sexta-feira, dia 1 de maio de 2020, no sábado, dia 2 de maio de 2020, e no domingo, dia 3 de maio de 2020, caso se verifique necessário