Revenue - Customer Concentration and Accounts Receivable (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended		12 Months Ended
	Jan. 31, 2024	Jan. 31, 2023	Jan. 31, 2024	Jan. 31, 2023	Apr. 30, 2023
Disaggregation of Revenue [Line Items]
Unbilled receivables	$ 102.6		$ 102.6		$ 77.6
Customer Concentration Risk | Revenue | Customer One
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	25.00%	45.00%	27.00%	34.00%
Customer Concentration Risk | Revenue | Customer Two
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage	12.00%		13.00%
Customer Concentration Risk | Accounts Receivable | Customer One
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage			18.00%		20.00%
Customer Concentration Risk | Accounts Receivable | Customer Two
Disaggregation of Revenue [Line Items]
Customer concentration risk, percentage			14.00%		18.00%