Time left on child Irish passport

[Battleshipgreen]

I am hoping to book a holiday to the Canaries for Feb next year, DC has a 5 year child passport which expires in Sept 2023. It will have almost 7 months left, this should be OK to travel with shouldn't it?

A google search of passport validity Ireland and Spain says this (dfa.ie)

Travel between Spain and Ireland

Information about passport requirements for travel between Spain and Ireland

A passport is required for travel to Spain. Your passport must be valid up to your return date.