All-Beef Instant Pot Keto Chili

Name: All-Beef Instant Pot Keto Chili
Prep time: 15 min
Cook time: 15 min
Total time: 30 min
Cuisine: American, TexMex
Ingredients: 3 lb. beef chuck cubes (see notes); 4 tsp. olive oil; 1 medium onion, chopped into 1/2 inch pieces; 1 T crushed garlic; 1 T ground Ancho chile peppers (see note); 2 tsp. sweet paprika; 2 tsp. Mexican oregano or oregano; 1 T ground cumin (or less if you're not a big cumin fan); 1/2 cup homemade beef stock or beef broth (see note); 2 10 oz. cans diced tomatoes with green chiles (See notes); 1 4 oz. can diced green chiles with juice (This is probably optional but good); salt and fresh ground black pepper to taste; 2 T fresh squeezed lime juice (optional, see notes)