Mysterious CI error in "verify that everything was availa...

Stream: PR reviews

[Weiyi Wang]

saw this in #25168 when I pushed a trivial change. Retrying didn't help. Can anyone help?

[Bryan Gin-ge Chen]

Could you try merging master? This might be the same issue as in #mathlib4 > Post-Build Step failing

[Weiyi Wang]

thanks. Let me try it