Revenue - Professional Services Revenue (Details) - USD ($) $ in Thousands	3 Months Ended
	Jul. 31, 2025	Jul. 31, 2024
Disaggregation of Revenue [Line Items]
Total professional services revenue	$ 70,261	$ 87,213
Prioritized engineering services
Disaggregation of Revenue [Line Items]
Total professional services revenue	8,663	10,649
Service fees
Disaggregation of Revenue [Line Items]
Total professional services revenue	1,297	3,108
Professional services
Disaggregation of Revenue [Line Items]
Total professional services revenue	$ 9,960	$ 13,757