Determina que se proceda à publicação do Diário da República no sábado dia 30 de maio de 2020 e no domingo dia 31 de maio de 2020, caso se verifique necessário