I tested your project at our board (DEMO9S12XEP100) and everything works correctly.
Every push button release changes status of LED at PA0.
If you use the same board, please check if you have jumper J503 connected.
If you don’t use this board, please check voltage levels at port P.
Note:
Pin interrupt is sensitive only to one type of edge (rising/falling) in the same time.
If we want use pin interrupt for detecting both edge events (for example pulse width measurement), we have to handle edge setting by software or we can use two pins connected together (with different settings).
PPSPx=1 - rising edge
PPSPx=0 – falling edge.