Do Dublin city schools have school on veterans day?

Veterans Day is a U.S. federal holiday which occurs every year on November 11th to honor military veterans of the United States armed forces. As Dublin is located in Ireland and not the United States, the city's schools do not take place on Veterans Day.