Servicios mínimos del Gobierno Vasco para la huelga del sector público del 25 de octubre de 2023