https://www.dinneratthezoo.com/instant-pot-chili

2 t olive oil
2 lbs lean ground beef
1 onion, diced
1 1/2 t minced garlic
28 oz can diced tomatoes, do not drain
3 8oz cans tomato sauce
3/4 C beef broth
2 serrano chilis, diced
2 T chili powder
2 t cumin
2 t paprika
2 t cocoa powder
1 t sugar
1 1/2 t kosher salt
3/4 t pepper
15 oz can kidney beans, drained and rinsed
15 oz can pinto beans, drained and rinsed

1. Turn Instant Pot to saute. Add olive oil and heat for 30 seconds. Then add
   meat and cook until browned.
2. Add the onion and cook 3 more minutes until softened
3. Add everything else and put lid on pot. Cook on chili setting for 
   20 minutes.
4. Release pressure either manually or allow it to release naturally.