CI stuck on `Add annotations`

Stream: mathlib4

[Jireh Loreaux]

CI seems to be stuck on the simple Add annotations step in this run. I'm not sure what to do about it. I had already canceled it once after it took 80 minutes, but now it's been going for over 3 hours.

[Scott Morrison]

@Jireh Loreaux, please try merging master.

[Scott Morrison]

We've changed how the synchronization headers work, and now instead of a header we are expecting an #align_imports statement. @Eric Wieser has been updating some scripts that look at these headers, and it seems likely that the new scripts are breaking on old headers.

[Jireh Loreaux]

Thanks, that seems to be the issue, as now the step has completed with no problems.

[Jireh Loreaux]

We should maybe announce this.