I would write «had made», because by that moment they had already made considerable progress. That is, at that moment that was already a past action, so, since the action is preceding to a past moment, Past Perfect should be used.
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.