Uncertainty quantification using martingales for misspecified Gaussian processes