Revenue - Customer Concentration and Accounts Receivable (Details) - USD ($) $ in Millions	3 Months Ended		12 Months Ended
	Jul. 31, 2024	Jul. 31, 2023	Apr. 30, 2024
Disaggregation of Revenue [Line Items]
Unbilled receivables	$ 81.5		$ 62.3
Customer Concentration Risk | Revenue | Customer One
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	23.00%	32.00%
Customer Concentration Risk | Accounts Receivable | Customer One
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	18.00%		25.00%
Customer Concentration Risk | Accounts Receivable | Customer Two
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	14.00%		16.00%