Since 1/7/2021 all name server changes are made via your account at https://id.ie/clientarea.php
It is no longer possible to change name servers on a domain using the old cp.irishdomains.com panel.
The article here contains nameserver change instructions via your account.