I highly recommend using the Bounce library for reading pushbuttons.

There's an example in File > Examples > Teensy > USB_Keyboard > Buttons.