Leases - Narrative (Details)	9 Months Ended
	Apr. 30, 2023 claim option_to_extend
Lessee, Lease, Description [Line Items]
Number of options to extend | option_to_extend	1
Option to extend operating leases	10 years
Number of options to extend sublease | claim	1
Option to extend sublease	5 years
Maximum
Lessee, Lease, Description [Line Items]
Operating lease terms	19 years
Operating sublease terms	7 years