Instant Pot Double Vegetable Beef Stew with Lemon Zest

Name: Instant Pot Double Vegetable Beef Stew with Lemon Zest
Ingredients: 1½ pounds boneless beef chuck-eye roast , trimmed and cut into 1½-inch pieces; 1¼ teaspoons table salt , divided; 2 tablespoons extra-virgin olive oil , divided; 8 ounces cremini mushrooms , trimmed and halved if small or quartered if large; 6 shallots , peeled and halved lengthwise; ¼ cup all-purpose flour; 1 tablespoon tomato paste; 1 tablespoon minced fresh thyme or 1 teaspoon dried; ¾ cup dry white wine; 2 cups beef broth; 1 pound small red or yellow potatoes , unpeeled, halved; 12 ounces green beans , trimmed and cut into 1½-inch lengths on bias; 3 carrots , peeled and sliced ¼ inch thick on bias; 6 tablespoons chopped fresh parsley; 1 tablespoon grated lemon zest