https://github.com/openedx/edx-platform/pull/36515 merged without migrations but CI passed. After merging, CI didn't fail on master. We added the missing migrations later (https://github.com/openedx/edx-platform/pull/36560) but we want to know why the migrations check didn't catch this in the first place.