Same as [SampCert](https://github.com/leanprover/SampCert), the version of mathlib should be (updated, and then) pinned for stability. I suspect this is the reason why CI is failing.
Same as SampCert, the version of mathlib should be (updated, and then) pinned for stability.
I suspect this is the reason why CI is failing.