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.