Instant Pot® Chicken Paprikash

Name: Instant Pot® Chicken Paprikash
Ingredients: 2 tablespoons butter; 1 large onion, thinly sliced; 4 cloves garlic, thinly sliced; Kosher salt; 2 plum tomatoes, finely chopped; 3 tablespoons hot paprika; 2 tablespoons all-purpose flour; 1 can Campbell’s® Condensed Cream of Mushroom Soup; 1 cup Swanson® Chicken Broth; 4 boneless, skinless chicken thighs (about 1 pound); 12 oz egg noodles