Patio Del Mercado - Opening hours

It's already late and you are not sure whether a detour to Patio Del Mercado is still worth it or if it is already closed by the time you arrive? Then check here for the opening hours.