v3.23.2
Leases - Components of Lease Expense (Details) - USD ($)
$ in Thousands
3 Months Ended 6 Months Ended
Jul. 31, 2023
Jul. 31, 2022
Jul. 31, 2023
Jul. 31, 2022
Leases [Abstract]        
Operating lease cost $ 26,620 $ 24,773 $ 55,080 $ 48,417
Short-term lease cost 740 922 1,642 2,147
Variable lease cost 10,850 10,410 21,998 20,183
Total operating lease cost $ 38,210 $ 36,105 $ 78,720 $ 70,747