| Commitments and Contingencies - Purchase Commitments (Details) $ in Thousands | Jul. 31, 2021  USD ($) | 
|---|---|
| Commitments and Contingencies Disclosure [Abstract] | |
| 2022 | $ 17,859 | 
| 2023 | 28,743 | 
| 2024 | 62,792 | 
| 2025 | 52,833 | 
| 2026 and thereafter | 51,500 | 
| Total | $ 213,727 | 
| X | ||||||||||
| 
- Definition Purchase Obligation, to be Paid, Year Four And Thereafter No definition available. 
 | 
| X | ||||||||||
| 
- References No definition available. 
 | 
| X | ||||||||||
| 
- Definition Minimum amount of purchase arrangement in which the entity has agreed to expend funds to procure goods or services from a supplier. No definition available. 
 | 
| X | ||||||||||
| 
- Definition Amount of purchase arrangement to be paid in next fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). No definition available. 
 | 
| X | ||||||||||
| 
- Definition Amount of purchase arrangement to be paid in second fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). No definition available. 
 | 
| X | ||||||||||
| 
- Definition Amount of purchase arrangement to be paid in third fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). No definition available. 
 | 
| X | ||||||||||
| 
- Definition Amount of purchase arrangement to be paid in remainder of current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. No definition available. 
 |