Revenue - Revenue Performance Obligations (Details) - USD ($) $ in Millions |
Apr. 30, 2023 |
Jan. 31, 2023 |
|---|---|---|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | ||
| Revenue, remaining performance obligation, amount | $ 427.9 | $ 447.7 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-05-01 | ||
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | ||
| Revenue, remaining performance obligation, amount | $ 373.1 | |
| Revenue, remaining performance obligation, expected timing of satisfaction, period | 24 months |