Skip to content

Fix bug in STM32.EXTI#Enable_External_Event - #483

Merged
jklmnn merged 1 commit into
AdaCore:masterfrom
A-Yerkesh:enable-external-event-fix
Aug 19, 2026
Merged

Fix bug in STM32.EXTI#Enable_External_Event#483
jklmnn merged 1 commit into
AdaCore:masterfrom
A-Yerkesh:enable-external-event-fix

Conversation

@A-Yerkesh

Copy link
Copy Markdown
Contributor

I believe Enable_External_Event should check for Event_* triggers instead of Interrupt_*.

@jklmnn
jklmnn self-requested a review August 19, 2026 11:27
@jklmnn
jklmnn merged commit d331ed4 into AdaCore:master Aug 19, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants