Button Library question.

Sorry. One need to update the button first, by button.isPressed();

#include <Button.h>
Button button = Button(12,PULLUP);

void setup(){
  pinMode(13,OUTPUT); //debug to led 13
}

void loop(){
  button.isPressed();
  if(button.stateChanged()){
    digitalWrite(13,!digitalRead(13));
  }
}

That works well here.