gmap_view supports persisting the authorative element

2 jobs for !745 with ghost-map-persist-auth in 1 minute and 59 seconds (queued for 4 seconds)
detached
Status Name Job ID Coverage
  Build
canceled build-coq.8.12.2 #153203
fp

00:01:59

canceled build-coq.dev #153202
fp

00:01:59