Controlling an RGB

from machine import Pin
import time

red = Pin(15, Pin.OUT)
green = Pin(14, Pin.OUT)
blue = Pin(13, Pin.OUT)

delay_time = 1.0

leds = [red, green, blue]

while True:
    for led in leds:
        led.high()
        time.sleep(delay_time)
        led.low()
        time.sleep(delay_time)