The best solution appears to be to remove the stm32f429i-disco code from the repository, since releases no longer include it.
While at it, why not remove the AdaCore RTS's and demo code? there have now been two AdaCore releases since!
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
The best solution appears to be to remove the
stm32f429i-discocode from the repository, since releases no longer include it.While at it, why not remove the AdaCore RTS's and demo code? there have now been two AdaCore releases since!
Effectively "fixed" after move to Github.