Cook until no pink is left. If you have a large amount of fat, go ahead and drain the beef. I usually use lean ground beef so I find that it isn't necessary.
Add garlic, basil, Italian seasoning, and seasoning salt and saute for 5 more minutes.
*Please note, cook time does not include the time it takes for the pressure cooker to come to pressure.