Porteiro com jornada de 6horas diárias e 36 horas semanais, feriado trabalhado

No meu condominio os porteiros trabalham 6 horas diarias, e 36 horas semanais, trabalham 5 dias seguidos e folgam no sexto dia. Nesse caso, nos feriados trabalhados temos que pagar em dobro ?