1 teaspoon salt (+ more to taste)

Instant Pot Lentil Sloppy Joes