Goodwill and intangible assets, net - Lives (Details)	12 Months Ended
	Jul. 31, 2025
Minimum
Finite Lived And Indefinite Lived Intangible Assets By Major Class [Line Items]
Intangible asset useful life	5 years
Maximum
Finite Lived And Indefinite Lived Intangible Assets By Major Class [Line Items]
Intangible asset useful life	15 years
Customer Lists
Finite Lived And Indefinite Lived Intangible Assets By Major Class [Line Items]
Intangible asset, weighted average useful life	15 years
Customer Lists | Maximum
Finite Lived And Indefinite Lived Intangible Assets By Major Class [Line Items]
Intangible asset useful life	15 years
Non Compete Agreements And Other Intangible Assets
Finite Lived And Indefinite Lived Intangible Assets By Major Class [Line Items]
Intangible asset, weighted average useful life	9 years
Non Compete Agreements And Other Intangible Assets | Minimum
Finite Lived And Indefinite Lived Intangible Assets By Major Class [Line Items]
Intangible asset useful life	5 years
Non Compete Agreements And Other Intangible Assets | Maximum
Finite Lived And Indefinite Lived Intangible Assets By Major Class [Line Items]
Intangible asset useful life	10 years