v3.20.2
Leases - Lease Cost (Details) - USD ($)
$ in Thousands
3 Months Ended 6 Months Ended
Jul. 31, 2020
Jul. 31, 2020
Leases [Abstract]    
Operating lease cost $ 2,671 $ 4,954
Short-term lease cost 492 985
Variable lease cost 518 1,354
Total lease cost $ 3,681 $ 7,293