mathlib

73251047 - feat(ci): store xz archives (#2719)

feat(ci): store xz archives (#2719) https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/olean.20cache Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>