Zulip Chat Archive
Stream: general
Topic: CI failure
Huỳnh Trần Khanh (Dec 30 2021 at 08:23):
we are getting CI failures because we exceeded a ratelimit! https://github.com/leanprover-community/mathlib/actions/runs/1636793734
this is happening to a lot of PRs
Last updated: Dec 20 2023 at 11:08 UTC