FERIADOS TRABALHADOS

Boa tarde Como deve ser considerado o feriado trabalhado do porteiro noturno? Devo contabilizar integralmente as 12h ou apenas o tanto de horas que ele trabalhou no dia do feriado?