v3.25.3
Leases - Schedule of Lease Expense (Details)
$ in Thousands
9 Months Ended
Oct. 31, 2025
USD ($)
Operating leases:  
Operating lease cost $ 732
Variable lease cost 0
Total operating lease cost 732
Finance leases:  
Amortization of right-of-use assets 5,465
Interest on lease liabilities 711
Total finance lease cost $ 6,176