hora extra no feriado

Bom dia pessoal gostaria de tirar uma dúvida a respeito dos feriados: O funcionário já recebe no salário fixo o pagamento pelos trinta dias de trabalho, trabalhando feriado ele deve receber mais um dia de trabalho ou mis dois dias?

O trabalho aos feriados é proibido pela legislação brasileira, exceto se autorizado pelo órgão central do Ministério do Trabalho.

Se o feriado, ainda que de forma ilegal, for trabalhado, deve ser pago em dobro.

Olá Camila,
Dica: Consulte o acordo coletivo da categoria, para ver se faz menção a este assunto.
Att.
Nilce