Update happens independent of crawler and you can ping for it https://developers.google.com/amp/cache/update-ping