v3.24.1.1.u2
Revenue - Narrative (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Apr. 30, 2024
Apr. 30, 2023
Apr. 30, 2024
Apr. 30, 2023
Jul. 31, 2023
Revenue from Contract with Customer [Abstract]          
Allowance for credit losses on current accounts receivable $ 0.5   $ 0.5   $ 0.5
Deferred revenue 1.1   1.1   $ 0.1
Revenue recognized $ 5.2 $ 3.2 $ 0.1 $ 0.3