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 |