Instant Pot Buttered Cabbage

I always have enjoyed cabbage when I go to the Chinese Buffet. This recipe was a good alternative to going out. The whole meal was less than $12 and I had leftovers for later.