Hi Andre,
By default the MAX32630FTHR board outputs only 1.8V to all the GPIO pins (including the on board LED).
This helps to keep power consumption low, however it might lead to confusions until you are not aware with this fact and the fix for that.
Your main.cpp should begin like that to fix the issue:
#include “mbed.h”
#include “lib/max32630fthr/max32630fthr.h”
#include “lib/max32630fthr/MAX14690/MAX14690.h”
MAX32630FTHR myMax32630(MAX32630FTHR::VIO_3V3);
(if you call MAX32630FTHR myMax32630(MAX32630FTHR::VIO_3V3); from within main() function, then it needs to be the very first thing to do, otherwise it is not reliable, so best practice is to instanciate it earlier).
By the way with those includes one can also define the voltage for each pin independently so that some pins could output 3.3V while others only 1.8V and so on., however most applications do not need that…