Leases - Lease Cost and Supplemental Balance Sheet Information (Details) $ in Thousands	3 Months Ended	9 Months Ended
	Oct. 26, 2019 USD ($)	Oct. 26, 2019 USD ($)
Leases [Abstract]
Lease cost under long-term operating leases	$ 8,388	$ 25,095
Lease cost under short-term operating leases	8,641	25,662
Variable lease cost under short-term and long-term operating leases	933	3,182
Total lease cost	$ 17,962	$ 53,939
Operating Lease, Weighted Average Remaining Lease Term	3 years 3 months 18 days	3 years 3 months 18 days
Weighted average discount rate (percent)	5.30%	5.30%