841e32bb64
Upgrade the dev environment and CI to mongo 7 GitOrigin-RevId: da02881d142d21be47dac7bd2af74520ba8664cd
Upgrade the dev environment and CI to mongo 7 GitOrigin-RevId: da02881d142d21be47dac7bd2af74520ba8664cd