1 teaspoon salt (use a little less if the stock is salty)

Instant Pot Chicken Paprika