int buttonPush = 12;

void setup() {
  pinMode(LED_BUILTIN, OUTPUT);
  pinMode(buttonPush, INPUT_PULLUP);
  digitalWrite(LED_BUILTIN, LOW);
}

void loop() {
  int x = digitalRead(buttonPush);

  if (x == LOW) {
    digitalWrite(LED_BUILTIN, HIGH);
  }
}