It comes amidst an an ongoing pay dispute between public sector workers and the Irish government.
Public updates continue.
Stay updated with continuous reporting from BBC News.