Jornada semanal con día festivo

Tengo una jornada laboral de 37,5 horas semanales, hago 7 horas por la mañana y me quedo una tarde del miércoles 2,5 horas

Cuando hay un festivo en la semana por ejemplo el jueves, ¿tengo derecho a quedarme menos rato la tarde del miércoles?