Mageean represented Ireland at the 2016 Rio Olympics and the 2020 Tokyo Games and held a slew of Irish records.