Instant Pot Greek Green Beans

I made this much faster by using 2 drained cans Italian green beans, 1 can of diced tomatoes seasoned w/ oregano, 1 can sliced drained potatoes. Added about half a packet of Greek dressing mix along with the juice of one lemon, and the onion from the original recipe