Quarterly report pursuant to Section 13 or 15(d)

Related Party Transactions (Details)

v3.23.1
Related Party Transactions (Details) - USD ($)
$ in Millions
3 Months Ended
Apr. 30, 2023
Apr. 30, 2022
Chairman and Chief Executive Officer    
Related Party Transaction [Line Items]    
Purchases from related party $ 0.2 $ 0.1