Cambio de horario de verano: ¿Hora extra laborada?

Con motivo del cambio de horario de verano ocurrido el 30 de octubre de 2022 en el que los relojes fueron retrasados una hora, resulta conveniente, como cada año, examinar si los trabajadores cuyo turno laboral nocturno inició el sábado 29 para terminar la madrugada del domingo 30 laboran horas extras o no, para proceder al pago correcto de su tiempo laborado.