gmap_view supports persisting the authorative element

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

00:08:25

passed build-coq.dev #153204
fp

00:08:00