No – we can’t really check this assumption since we don’t have the whole population, but the t distribution is robust to modest departures from Normality, so we can use it if a plot of the data has no major outliers.