v3.24.1.1.u2
Leases (Details) - USD ($)
$ in Thousands
3 Months Ended 9 Months Ended
Apr. 30, 2024
Apr. 30, 2023
Apr. 30, 2024
Apr. 30, 2023
Leases [Abstract]        
Operating Lease, Cost $ 3,688 $ 3,997 $ 11,557 $ 11,645
Operating cash outflows from operating leases     12,441 13,196
Operating lease assets obtained in exchange for new operating lease liabilities (1)     $ 8,903 $ 6,545