How do you run code on the MAX32625 PICO board?

The following webpage is the reference PICO’s MBED site.  Uploading code onto the PICO is not via the DAPLINK drive, but instead via the bootloader by pressing the button before connecting the USB. Then the MAINTENANCE drive appears and then a program can be uploaded.. PICO is intended to be a programmer/debugger when the DAPlink image is installed. Otherwise, use the bootloader mode.
 
 PICO_board_demo is the reference.
 
Here is code that worked (to compile and upload):

#include "mbed.h"
#include "max32625pico.h"
 
//This is just copied from the sample code,
//but with the name specified for the MAX32625PICO. Take
//a look at the maxim-dev/tagets/TARGER_Maxim/TARGET_MAX32525/TARGET_MAX32625PICO/PinNames.h
DigitalOut rLED(LED1, LED_OFF);
DigitalOut gLED(LED2, LED_OFF);
DigitalOut bLED(LED3, LED_OFF);
 
// The lines above et the pins for the LEDS (among other things)
// Notice you need to add the #include "max32625pico.h"
MAX32625PICO pico(MAX32625PICO::IOH_DIP_IN, MAX32625PICO::VIO_IOH, MAX32625PICO::VIO_1V8);
 
// main() runs in its own thread in the OS
int main() {
    while (1) {
        rLED= 1;
        gLED = 1;        
        wait(0.5);
        rLED = 1;
        gLED = 0;
        wait(0.5);
        rLED = 0;
        gLED = 1; 
        bLED = 1; // added a blue LED
        wait(1);
        bLED = 0;   
    }
}