import time
from machine import Pin

time.sleep(0.1) # Wait for USB to become ready

# Define period
period = 0.5
speed = 2*period

# Define GPIO pins
blue_led_pin = 21 
green_led_pin = 20
red_led_pin = 19

# Initialize LED
blue_led = Pin(blue_led_pin, Pin.OUT)
green_led = Pin(green_led_pin, Pin.OUT)
red_led = Pin(red_led_pin, Pin.OUT)

def sequence(period:int=1):
    blue_led.on()
    time.sleep(period)
    blue_led.off()
    green_led.on()
    time.sleep(period)
    green_led.off()
    red_led.on()
    time.sleep(period)
    red_led.off()

# MAIN PROGRAM
print(f"Sequence speed is {speed} s")

while True:
    sequence(period)


BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT
pico:GP0
pico:GP1
pico:GND.1
pico:GP2
pico:GP3
pico:GP4
pico:GP5
pico:GND.2
pico:GP6
pico:GP7
pico:GP8
pico:GP9
pico:GND.3
pico:GP10
pico:GP11
pico:GP12
pico:GP13
pico:GND.4
pico:GP14
pico:GP15
pico:GP16
pico:GP17
pico:GND.5
pico:GP18
pico:GP19
pico:GP20
pico:GP21
pico:GND.6
pico:GP22
pico:RUN
pico:GP26
pico:GP27
pico:GND.7
pico:GP28
pico:ADC_VREF
pico:3V3
pico:3V3_EN
pico:GND.8
pico:VSYS
pico:VBUS
led1:A
led1:C
led2:A
led2:C
led3:A
led3:C