v3.24.2.u1
Leases - Additional Information (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jul. 31, 2024
Jul. 31, 2023
Jul. 31, 2024
Jul. 31, 2023
Leases [Abstract]        
Lease term (in years) 1 year   1 year  
Weighted average remaining lease term (in years) 2 years 8 months 12 days   2 years 8 months 12 days  
Weighted average discount rate 3.90%   3.90%  
Impairment charges $ 0.0 $ 0.8 $ 0.0 $ 0.8