There’s also open source apps that can do this (but you have to build them and install using a developer certificate). It’s a shame though exporting workouts to gpx is not possible using the built in apps.