Instant Pot Red Beans and Rice

Ingredients

• 2 tablespoons olive oil
• 1 medium onion, chopped
• 1 medium green pepper, chopped
• 2 celery ribs, chopped
• 2 tablespoons tomato paste
• 4 garlic cloves, minced
• 1 teaspoon Cajun seasoning
• 1/2 teaspoon salt
• 1/2 teaspoon pepper
• 1/4 teaspoon dried thyme
• 1 pound dried red beans
• 4 cups chicken stock
• 1 cup water
• 2 bay leaves
• 6 to 8 cups hot cooked rice
• Hot pepper sauce
• Thinly sliced green onions