Zulip Chat Archive

Stream: mathlib4

Topic: CI fails on getting cache

Edward van de Meent (Jan 20 2025 at 21:35):

see #18818 and #19150 for some affected PRs. strangely, #20876 did not get affected despite being run in the same batch as 19150... a common denominator seems to be the addition of a new file?

Edward van de Meent (Jan 20 2025 at 21:36):

@Yaël Dillies i noticed you saw this too, any thoughts/observations to add?

Yaël Dillies (Jan 20 2025 at 21:45):

Looks like PRs that are still on 4.14.0-rc2, which had a cache issue with the ProofWidgets release

Edward van de Meent (Jan 20 2025 at 21:45):

.14? even though i merged master? :thinking:

Yaël Dillies (Jan 20 2025 at 21:46):

How else do you explain

✔ [39/47] Built ProofWidgets.Component.FilterDetails
✔ [40/47] Built ProofWidgets.Component.Panel.GoalTypePanel
✔ [41/47] Built ProofWidgets.Component.Recharts
✔ [42/47] Built ProofWidgets.Component.Panel.SelectionPanel
✔ [43/47] Built ProofWidgets.Component.GraphDisplay
✔ [44/47] Built ProofWidgets.Data.Svg
✔ [45/47] Built ProofWidgets.Component.InteractiveSvg
✔ [46/47] Built ProofWidgets

in the logs?

Edward van de Meent (Jan 20 2025 at 21:47):

no clue

Last updated: Feb 28 2026 at 14:05 UTC