Rename gmap_view_persist into gmap_view_frag_persist

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

00:05:58

failed build-coq.dev #152583
fp

00:05:53

 
Name Stage Failure
failed
build-coq.8.12.2 Build
make[2]: Target 'real-all' not remade because of errors.
make[1]: *** [Makefile.coq:339: all] Error 2
make: *** [Makefile:3: all] Error 2

real 4m15.148s
user 17m11.692s
sys 1m9.177s
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
build-coq.dev Build
make[2]: Target 'real-all' not remade because of errors.
make[1]: *** [Makefile.coq:377: all] Error 2
make: *** [Makefile:3: all] Error 2

real 3m44.625s
user 13m55.988s
sys 1m7.984s
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1