Leases - Lease expense (Details) - USD ($) $ in Millions	12 Months Ended
	Jul. 29, 2023	Jul. 30, 2022
Leases [Abstract]
Operating lease expense	$ 425	$ 390
Short-term lease expense	65	66
Variable lease expense	242	173
Total lease expense	$ 732	$ 629