Style linter failing to install bibtool

Stream: general

[Moritz Doll]

the lint style CI fails (for reasons unrelated to the PR): https://github.com/leanprover-community/mathlib/actions/runs/4707473692/jobs/8350568292 is this a known issue?

[Moritz Doll]

same for #18812 (the most recently updated PR)

[Notification Bot]

This topic was moved here from #PR reviews > #18648 by Eric Wieser.

[Eric Wieser]

cc @MohanadAhmed and @Xavier Roblot, both of who have pointed this out to me separate via other channels

[Eric Wieser]

I've attempted a fix at #18816

[Eric Wieser]

Seems to do the trick

[MohanadAhmed]

I am guessing the install is failing because apt attempts to install recommended packages together with bibtool (ghostscript).
The package is not there for some reason.
If we add --no-install-recommends it should make the install go faster and also reduce the likelihood of missing packages .

[Kevin Buzzard]

me too: #18817

[Kevin Buzzard]

Eric, #18816 is not passing CI. Is this expected? Edit: Oh, I see Mohanad is on the case.

[MohanadAhmed]

My bad the flag I added --no-install-recommends broke something down the line. I unrolled it

[Eric Wieser]

It's green again