For push mower: I would determine the sharpness of the blade by means of checking the tip of the freshly cut grass a couple of days down the road: if tip turns yellow, blade is not sharp enough to do the job.
typically, I'd file my blade twice a year to ensure consistent performance and good cut.
Q.