v3.25.2
Grant and Subsidy Income - Additional Information (Details) - EUR (€)
€ in Millions
3 Months Ended 12 Months Ended
Jul. 31, 2022
Apr. 30, 2025
Apr. 30, 2024
May 31, 2022
Grant And Subsidy Income [Abstract]        
Grant awarded       € 0.5
Proceeds from grants € 0.2      
Grant income   € 0.1 € 0.2