int red = 13;
int green = 12;
int button = 11;
int buttonState = 0;

void setup() {
  pinMode(red, OUTPUT);
  pinMode(green, OUTPUT);
  pinMode(button, INPUT); // or INPUT_PULLUP depending on your wiring
}

void loop() {
  buttonState = digitalRead(button);
  
  if (buttonState == HIGH) {
    digitalWrite(red, HIGH);
    digitalWrite(green, HIGH);
  } 
  else if (buttonState == LOW) {
    digitalWrite(red, LOW);
    digitalWrite(green, LOW);
  }
}