Qual foi a decisão do STF no MS 34.484/DF sobre o direito de greve dos servidores públicos?

Os servidores públicos não têm direito de greve

Os servidores públicos têm direito de greve, mas apenas em caso de descumprimento de seus direitos trabalhistas

Os servidores públicos têm direito de greve, mas devem garantir a manutenção de serviços essenciais

Os servidores públicos têm direito de greve, mas devem garantir a manutenção de pelo menos 50% dos serviços