Zulip Chat Archive
Stream: mathlib4
Topic: CI cache error
Johan Commelin (Feb 01 2024 at 12:30):
Twice in a row, CI failed because of issues with the cache: https://github.com/leanprover-community/mathlib4/actions/runs/7741115780/job/21107736659
Mario Carneiro (Feb 01 2024 at 12:32):
#10063 is still not merged
Johan Commelin (Feb 01 2024 at 12:33):
It's on the queue now
Last updated: May 02 2025 at 03:31 UTC