Instant-Pot Ground Beef for Tacos · 1 tablespoon olive oil · 1 large onion, peeled and diced · 1 red and 1 yellow bell pepper; cored, seeded, and diced · 3 garlic ...