CI "Lint style (fork)" seems to be slow

Stream: mathlib4

[Michael Stoll]

It looks like the "Lint style (fork)" step in CI is rather slow at the moment (more than half an hour already on #29214 and #29218).

The last few lines of output on one of them are

Get:29 http://azure.archive.ubuntu.com/ubuntu noble/universe amd64 lmodern all 2.005-1 [9542 kB]
Get:30 http://azure.archive.ubuntu.com/ubuntu noble/universe amd64 mupdf-tools amd64 1.23.10+ds1-1build3 [49.3 MB]
Get:31 http://azure.archive.ubuntu.com/ubuntu noble/main amd64 t1utils amd64 1.41-4build3 [61.3 kB]
Get:32 http://azure.archive.ubuntu.com/ubuntu noble/universe amd64 texlive-binaries amd64 2023.20230311.66589-9build3 [8529 kB]
Get:33 http://azure.archive.ubuntu.com/ubuntu noble/universe amd64 texlive-base all 2023.20240207-1 [21.7 MB]

so maybe access to azure.archive.ubuntu.com has problems?

[Bryan Gin-ge Chen]

As far as I know we haven't changed anything there so I suspect there's something going on at GitHub or Azure or somewhere between them.

[Michael Stoll]

Yes, it looks like some network problem. One of the two CI runs finished after 35 minutes, the other one is still running (approaching 45 mins now).

[Michael Stoll]

... now also finished (46 mins).