El 10 de julio es feriado

El 10 de julio es feriado: ¿El 10 de julio es feriado o día no laborable? Este 2020, el 9 de julio el viernes 10 sería feriado puente para facilitar el fin de semana largo.