Hello @Mario Luzeiro ,
You are right, pins should also be configured as inputs when setting up an external interrupt. This is not intended behavior and have been reported.
Internal ticket number: 126386 (This is an internal tracking number and is not accessible or usable by customers).
Thank you for your contribution and sorry for the inconvenience, I will keep you posted with updates on the issue.
If your issue is solved, please close this post by clicking the "Select as Best" button. This will help other members of the community find this response more quickly.
Best regards,
Aziz