Leases - Components of Lease Costs (Details) - USD ($) $ in Thousands	3 Months Ended		6 Months Ended
	Jan. 31, 2023	Jan. 31, 2022	Jan. 31, 2023	Jan. 31, 2022
Leases [Abstract]
Operating lease cost	$ 7,584	$ 6,908	$ 14,463	$ 13,216
Amortization of right-of-use assets	187	187	373	373
Interest on lease liabilities	100	120	205	245
Total lease cost	$ 7,871	$ 7,215	$ 15,041	$ 13,834