Zulip Chat Archive
Stream: general
Topic: Style linter failing to install bibtool
Moritz Doll (Apr 15 2023 at 14:21):
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 (Apr 15 2023 at 14:22):
same for #18812 (the most recently updated PR)
Notification Bot (Apr 16 2023 at 16:44):
This topic was moved here from #PR reviews > #18648 by Eric Wieser.
Eric Wieser (Apr 16 2023 at 16:44):
cc @MohanadAhmed and @Xavier Roblot, both of who have pointed this out to me separate via other channels
Eric Wieser (Apr 16 2023 at 16:49):
I've attempted a fix at #18816
Eric Wieser (Apr 16 2023 at 16:50):
Seems to do the trick
MohanadAhmed (Apr 16 2023 at 17:04):
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 (Apr 16 2023 at 17:39):
me too: #18817
Kevin Buzzard (Apr 16 2023 at 17:40):
Eric, #18816 is not passing CI. Is this expected? Edit: Oh, I see Mohanad is on the case.
MohanadAhmed (Apr 16 2023 at 17:42):
My bad the flag I added --no-install-recommends
broke something down the line. I unrolled it
Eric Wieser (Apr 16 2023 at 19:29):
It's green again
Last updated: Dec 20 2023 at 11:08 UTC