Revenue - Customer Concentration and Accounts Receivable (Details) - USD ($) $ in Millions	3 Months Ended		12 Months Ended
	Jul. 31, 2023	Jul. 31, 2022	Apr. 30, 2023
Disaggregation of Revenue [Line Items]
Unbilled receivables	$ 84.5		$ 77.6
Customer Concentration Risk | Revenue | Customer One
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	32.00%	25.00%
Customer Concentration Risk | Revenue | Customer Two
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage		14.00%
Customer Concentration Risk | Accounts Receivable | Customer One
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	15.00%		20.00%
Customer Concentration Risk | Accounts Receivable | Customer Two
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	13.00%		18.00%
Customer Concentration Risk | Accounts Receivable | Customer Three
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	12.00%