Pressure Cooker Beer-Braised Pulled Ham

Directions

1. In a 6-qt. electric pressure cooker, whisk together beer, 1/2 cup mustard and pepper. Add ham and rosemary. Lock lid; make sure vent is closed. Select manual setting; adjust pressure to high and set time for 20 minutes. When finished cooking, allow pressure to naturally release for 10 minutes, then quick-release any remaining pressure.
2. Remove ham; cool slightly. Discard rosemary sprigs. Skim fat from liquid remaining in pressure cooker. Select saute setting and adjust for high heat. Bring liquid to a boil; cook for 5 minutes.
3. When ham is cool enough to handle, shred meat with 2 forks. Discard bone. Return ham to pressure cooker; heat through. To serve, place shredded ham on pretzel bun bottoms with remaining mustard and, if desired, dill pickle slices. Replace tops.