Corpus Christi é feriado nacional? Quem trabalha recebe dobrado?

Vai trabalhar no Corpus Christi? Veja quando dá para emendar | G1

Data é ponto facultativo nacional, mas pode virar feriado em estados e municípios; trabalhador escalado pode ter direito a pagamento em dobro ou folga compensatória.