gmap_view and ghost_map supports persisting the authorative element

2 jobs for !745 with ghost-map-persist-auth in 18 minutes and 21 seconds (queued for 8 seconds)
detached
Status Name Job ID Coverage
  Build
passed build-coq.8.12.2 #152457
fp

00:15:26

passed build-coq.dev #152456
fp

00:18:21