Azure error leads to linter error

Stream: mathlib4

[Shreyas Srinivas]

I merged master branch into my PR branch and there was no merge conflict. Yet the PR failed CI because of a linter error. The linter CI error message is:

E: Failed to fetch https://packages.microsoft.com/repos/azure-cli/dists/noble/InRelease  403  Forbidden [IP: 13.107.213.51 443]
E: The repository 'https://packages.microsoft.com/repos/azure-cli noble InRelease' is no longer signed.
E: Failed to fetch https://packages.microsoft.com/ubuntu/24.04/prod/dists/noble/InRelease  403  Forbidden [IP: 13.107.213.51 443]
E: The repository 'https://packages.microsoft.com/ubuntu/24.04/prod noble InRelease' is no longer signed.
Error: Process completed with exit code 100.