funcionario q trabalhou 5hs, 6hs ou 7hs num feriado deve receber o dia integral ou somente as horas

O funcionario q trabalhou 5 hs, 6hs ou 7hs, num feriado recebe o dia integral ou a quantidade de hs trabalhadas? Este funcionario trabalha na escala 12X36 hs