Continuous integration and why3ide
Commit b0cef7e3 broke the IDE by renaming a debug flag and not its lookup in gconfig.ml
(so running why3ide failed with "unknown debug flag"), and this was not caught by the continuous integration because the IDE is not tested.
It would be nice to figure out a way to at least test that the IDE can be launched.