Qual foi a decisão do STF sobre a possibilidade de greve por servidores públicos que exercem atividades essenciais à população?

A greve é permitida, desde que não prejudique a continuidade dos serviços públicos

A greve é proibida para servidores públicos que exercem atividades essenciais

A greve é permitida, desde que haja prévia comunicação ao órgão competente

A greve é permitida, desde que não prejudique a segurança pública