CI: Error in 'Install Bibtool'

Stream: mathlib4

[Josha Dekker]

Hi, I'm getting an error on Install Bibtool on #12394, is this related to my PR or a technical difficulty?

[Ruben Van de Velde]

Not your fault. I hope retrying works

[Ruben Van de Velde]

Oh dear, it doesn't

[Notification Bot]

Josha Dekker has marked this topic as resolved.

[Ruben Van de Velde]

This seems to be consistently broken for the past 22 minutes: https://github.com/leanprover-community/mathlib4/actions/workflows/lint_and_suggest_pr.yml

[Notification Bot]

Ruben Van de Velde has marked this topic as unresolved.

[Ruben Van de Velde]

This will block everything right now; I hope someone is getting paged and fixing it - otherwise we can disable the bibfile formatting temporarily

[Ruben Van de Velde]

Oh nice, bors still works - presumably the hoskinson runners already have bibtool installed?

[Michael Rothgang]

For the record: this seems to be resolved now. (I have no idea why, but am happy to hear so...)
All recent PRs marked awaiting-review have had their failing linter jobs re-triggered.

[Ruben Van de Velde]

Thanks, does look fixed

[Marc Huisinga]

Michael Rothgang said:

For the record: this seems to be resolved now. (I have no idea why, but am happy to hear so...)
All recent PRs marked awaiting-review have had their failing linter jobs re-triggered.

https://github.com/microsoft/linux-package-repositories/issues/130#issuecomment-2074910628