IRN - Instituto dos Registos e Notariado - Agendamento para renovação do cartão de cidadão

Efetuei agendamento para renovação do cartão de cidadão para o dia 12/08/2019, pelas 09h00 na Conservatória do Barreiro.
Este agendamento foi efetuado há cerca de 3 meses.
Hoje desloquei-me ao local e à hora acima mencionada e esperei até às 09h30, eu e mais pessoas, quando constatámos que haveria greve durante toda a semana, com início hoje.
Ora se há greve, não terão os serviços que reagendar, ou pelo menos informar através de um papel na porta? ( julgo ser uma coisa, que embora não seja a mais correta, é o mínimo).
Se recebi o mail de agendamento, deveria também receber um outro de reagendamento.
Perdi um dia de trabalho, que não vai ser justificado.