Como é pago dia trabalho em feriados?

Prezados,

No dia 15/11/2017 (feriado), a empresa pediu aos funcionários que fossem trabalhar, quem quisesse, para realizar um serviço extra. No entanto, estou com dúvida de como pagar esse feriado. Isso porque, cada funcionários trabalhou uma quantidade de horas diferentes, por exemplo, um trabalhou 8 horas, outro 5 horas etc. Sei que, quando um funcionário trabalha no feriado, o dia tem que ser pago em dobro, ou concedido um dia de folga. Porém, como eles trabalharam horas, como seria esse cálculo? Pagar essas horas com um adicional de 100%?

Desde já agradeço!

Olá Jefferson M
boa tarde,

O pagamento é feito por horas trabalhadas.

Att,