Instant Pot® Irish Beef Stew

Ingredients

• 1 1/2 pounds beef stew meat
• 1 1/2 teaspoons garlic salt
• 1/2 teaspoon black pepper
• 2 tablespoons flour
• 2 tablespoons butter
• 3 cloves garlic, minced
• 2 cups beef broth
• 2 pounds russet potatoes, scrubbed and cut into 1-inch cubes
• 2 medium carrots, coarsely chopped
• 1 medium onion, cut into wedges
• 1 tablespoon Worcestershire sauce
• 1 tablespoon coconut aminos (soy-free seasoning sauce)
• 2 teaspoons steak sauce
• 1 teaspoon browning sauce
• 1 1/2 teaspoons dried rosemary
• 1/2 teaspoon dried thyme
• 1 teaspoon salt, or to taste (optional)