Hello Randa Zarrouk
Checking the example I found a similar mistake. The issue is the sdk, so I will report it to the corresponding team in order to get this fixed.
There are some issues in the GPIO config. At the function BOARD_InitPins(), please configure the LED'S gpio as Digital Output and leave the other pins as digital input.

Also note that for port1 of Gpio, pin 4 corresponds to blue, pin 6 to red and pin 7 to green so some corrections needs to be done at SetPluInputSource().

Let me know if this is helpful.
Best regards,
Omar