Quarterly report [Sections 13 or 15(d)]

Related Party Transactions (Details)

v3.25.1
Related Party Transactions (Details) - USD ($)
$ in Millions
3 Months Ended
Apr. 30, 2025
Apr. 30, 2024
Jan. 31, 2025
Related Party Transaction [Line Items]      
Related party transaction, amount $ 0.0 $ 0.0  
Related Party      
Related Party Transaction [Line Items]      
Accounts payable 0.1   $ 0.1
Digital training services for employees      
Related Party Transaction [Line Items]      
Purchases from related party 0.0 0.1  
Digital training services for customers      
Related Party Transaction [Line Items]      
Purchases from related party $ 0.0 $ 0.0