Set your Instant Pot to sauté mode. Add olive oil and let it heat up for about a minute.
Add onion, carrots, and celery. Sauté for 5 minutes, stirring occasionally, until the veggies start to soften. Add garlic and cook for another minute until fragrant.
Press cancel to turn off sauté mode. Add the rinsed lentils, diced tomatoes, broth, cumin, thyme, bay leaf, salt, and pepper. Give everything a good stir.
Close the lid, set the valve to sealing, and cook on high pressure for 15 minutes.
When the timer goes off, let the pressure release naturally for 10 minutes, then carefully quick release any remaining pressure.
Remove the bay leaf and stir in the chopped spinach or kale. It'll wilt in just a minute or two from the heat of the soup.
Stir in lemon juice and taste for seasoning. Add more salt and pepper if needed. Serve hot with crusty bread for dipping!