more consistent naming

5 jobs for ci/ralf/map-dom-inv in 8 minutes and 43 seconds (queued for 4 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #118845
fp

00:04:28

passed build-coq.8.11.2 #118844
fp

00:04:48

passed build-coq.8.12.2 #118843
fp

00:04:56

passed build-coq.8.13.1 #118842
fp-timing

00:04:13

passed build-coq.dev #118841
fp

00:08:43