You’ll need to stir in the peas at the end after the rest of the risotto mixture has cooked at high pressure, and let them sit for about 5-10 minutes with the lid on. Otherwise, you’ll end up with mushy peas, and no one wants that.