It comes amidst an an ongoing pay dispute between public sector workers and the Irish government.

This story was reported by BBC News. Read the full coverage at BBC News.