Add the frozen okra to the pressure cooker. Cover and follow your pressure cooker’s instructions. For mine, once it begins to whistle, I reduce the heat to low. Let cook for approximately 20 minutes. (I usually start cooking some rice at this step, so it will be ready at the same time as the okra.)