Nevermind... I found my silly mistake. I passed a number instead of bitmask to `io_conf.pin_bit_mask`. *Facepalm*

I wired up a simple pull-up circuit with a button and a resistor to manually toggle the value of a pin. I wanted to see an edge interrupt fire. However the interrupt is not firing, even though I *see* the value of the pin changing. Here is my code:



#include <stdio.h>
#include <string.h>
#include ...