Raspberry Pi Pico Traffic Light with 4-Mode Button Selector (State Machine, GP11 | BlueGrays