There doesn’t seem to be a marriage in Irish or English records.
Have you had sight of Thomas’ military record?
They could have been married in wherever in the world the Army was serving.
One of the places the Army served was Ireland.
And they should have still ended up in the GRO records. Army BMD were reported back to the English GRO, and of Irish "subjects" in turn back to the Irish GRO. I have several B and D that were so registered. e.g. B and D in Egypt, D in South Africa.
If you ever looked at the printed indices, you would see a separate section at the back, for the army reports. Only from "overseas" of course. And despite Ireland being overseas, it was not "overseas".