Revenue - Customer Concentration and Accounts Receivable (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended		12 Months Ended
	Jan. 31, 2025	Jan. 31, 2024	Jan. 31, 2025	Jan. 31, 2024	Apr. 30, 2024
Disaggregation of Revenue [Line Items]
Unbilled receivables	$ 89.8		$ 89.8		$ 62.3
Customer Concentration Risk | Revenue | Customer One
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	15.00%	25.00%	18.00%	27.00%
Customer Concentration Risk | Revenue | Customer Two
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	10.00%	12.00%		13.00%
Customer Concentration Risk | Accounts Receivable | Customer One
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage			14.00%		25.00%
Customer Concentration Risk | Accounts Receivable | Customer Two
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage			14.00%		16.00%
Customer Concentration Risk | Accounts Receivable | Customer Three
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage			13.00%
Customer Concentration Risk | Accounts Receivable | Customer Four
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage			11.00%