On 2025-Nov-21, Andres Freund wrote:
> On 2025-11-21 13:14:18 +0100, Álvaro Herrera wrote:
> > So how bad is the effect of the cache pollution that's now going to
> > occur?
>
> I don't think there's any cache pollution after this change - the
> pollution the comment was referencing was that ccache's cache would be
> filled with entries for files that would *never* be used and would
> therefore be useless.
Ah, that makes sense.
> With this change the added use of ccache will just accelerate the CI
> runs, which I wouldn't consider polluting...
Sure.
--
Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/
"If you have nothing to say, maybe you need just the right tool to help you
not say it." (New York Times, about Microsoft PowerPoint)
