Instant Pot Artichokes

Ingredients (15)

• 4 (8- to 10-ounce) medium artichokes
• 1 lemon, sliced, divided
• 1 1/2 cups water
• 1 clove garlic, sliced
• 1 bay leaf
• 1/2 teaspoon kosher salt
• 1/2 cup store-bought or homemade mayonnaise 
• 2 cloves garlic, minced
• 2 teaspoons lemon juice
• 1 1/2 teaspoons lemon zest
• 1/2 teaspoon Dijon mustard
• 1 dash cracked black pepper, or to taste
• 1 dash kosher salt, or to taste
• 1 dash crushed red pepper flakes, optional
• Lemon wedges, for serving