Instant Pot Beer Ribs

Ingredients

• 1/4 cup brown sugar
• 1 teaspoon sea salt
• 1 cup ketchup
• 1 tablespoon Dijon mustard
• 1 teaspoon ground black pepper
• 2 teaspoons smoked paprika
• 1/2 teaspoon garlic powder
• 1/2 teaspoon smoked paprika
• 3 tablespoons brown sugar
• 2 teaspoons garlic powder
• 1/2 cup orange juice
• 3 teaspoons sea salt
• 1/2 teaspoon ground pepper
• 12 ounces beer
• 1/4 cup orange marmalade
• 4 pounds baby back pork ribs (membrane removed)