v3.25.2
Leases - Lease liabilities (Details) - USD ($)
$ in Thousands
9 Months Ended
Aug. 31, 2025
Aug. 31, 2024
Leases    
Operating lease costs $ 38 $ 122
Variable lease costs 13 103
Total lease expense $ 51 $ 225