Informáticos em greve?

Além da aplicação da SIRGHE também a página do Governo dá erro hoje...será que os informáticos fizeram greve?!