Sprinkle the beef all over with 1 teaspoon salt and black pepper to coat.
In a 6-qt Instant Pot, press the “saute” button and set it to “high” or “more”. Once hot, add the oil, carrots, celery, and remaining ½ teaspoon salt. Cook, stirring occasionally, until softened, about 4 minutes. Stir in the garlic, cumin, oregano, thyme, and cinnamon and cook for 30 more seconds, stirring often.
Press “cancel”, then add the tomatoes and use your hands to break the tomatoes open to release their juices. Stir in the soy sauce. Nestle the beef chunks into the sauce.
Cover with the lid, set the valve to “sealing”, and pressure cook on high for 40 minutes. Once the timer goes off, let it naturally release for 10 minutes, then manually release the rest of the pressure by turning the valve to “venting”.
Press the “saute” button again to simmer the sauce for about 10 minutes while you shred up the beef. Transfer the beef chunks to a cutting board and shred it up with two forks (remove any large chunks of fat).
Once the sauce has reduced and thickened, press “cancel”. You can try to spoon off some of the fat that has risen to the top. I don’t bother! Once you refrigerate it, the fat solidifies on top and is a lot easier to remove if you want to.
Return the beef to the pot and stir it to coat in the sauce. As the beef sits and cools, it will absorb some of that sauce. I think this tastes best when just warm rather than piping hot!