Quarterly report pursuant to Section 13 or 15(d)

Related Party Transactions (Details)

v3.22.2.2
Related Party Transactions (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Oct. 31, 2022
Oct. 31, 2021
Oct. 31, 2022
Oct. 31, 2021
Board of Directors Chairman        
Related Party Transaction [Line Items]        
Paid to related party $ 0.1 $ 0.1 $ 0.1 $ 0.1