v3.25.1
Summary of business and significant accounting policies - Property and Equipment (Details)
Jan. 31, 2025
Computer equipment | Minimum  
Property, Plant and Equipment [Line Items]  
Useful life of property, plant and equipment (in years) 3 years
Computer equipment | Maximum  
Property, Plant and Equipment [Line Items]  
Useful life of property, plant and equipment (in years) 5 years
Furniture and fixtures  
Property, Plant and Equipment [Line Items]  
Useful life of property, plant and equipment (in years) 5 years