v3.26.1
Revenue - Remaining Performance Obligation (Details)
$ in Millions
12 Months Ended
Apr. 30, 2026
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue expected to be recognized from remaining performance obligations, amount $ 203.1
Revenue, remaining performance obligation, non cancellable commitments 50.7
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-05-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue expected to be recognized from remaining performance obligations, amount $ 129.3
Revenue expected to be recognized from remaining performance obligations, period (in months) 12 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-05-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue expected to be recognized from remaining performance obligations, period (in months)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-05-01 | Minimum  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue expected to be recognized from remaining performance obligations, period (in months) 13 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-05-01 | Maximum  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue expected to be recognized from remaining performance obligations, period (in months) 48 months