Revenues - Schedule of Company's Recognition of Revenue (Details) $ in Thousands	Apr. 30, 2023 USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue remaining performance obligation amount	$ 34,682
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-05-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	9 months
Revenue remaining performance obligation amount	$ 16,960
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-05-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	1 year
Revenue remaining performance obligation amount	$ 13,366
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-05-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	1 year
Revenue remaining performance obligation amount	$ 3,817
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-05-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	1 year
Revenue remaining performance obligation amount	$ 539