change map type for readability
Passed
Houtan Bastani
created pipeline for commit
02ae0af3
, finished
For master
1 minute 38 seconds, queued for 4 seconds