Pressure Cooker Corned Beef recipe?

I’ve done two over the last week doing pretty much what you described in my stove-top pressure cooker. Both came out great. I did meat 60 minutes at high-pressure with slow release. Then I took meat out and did just the veg(carrots, baby potatoes, onion halfs) in the broth for about 5 minutes with quick release.