Ferrari opted not to pit neither Hamilton nor Charles Leclerc while Mercedes pitted both their drivers