Annual report pursuant to Section 13 and 15(d)

Related Parties (Details)

v3.23.1
Related Parties (Details)
$ in Millions
12 Months Ended
Jan. 31, 2023
USD ($)
Board of Directors Chairman  
Related Party Transaction [Line Items]  
Purchases from related party $ 0.1