If he dug a 2-3' hole, used quickcrete with water (Some people think you don't water with concrete smh) and the pole had an antispin or flat spot on it, it's fine pretty quick. Concrete takes about 24 hours to harden and about a week to fully set
We use hot water with the red bag fast setting Quickcrete and it's usually hard enough to put the dish on it in about 45 minutes.