Zulip Chat Archive
Stream: PR reviews
Topic: CI not running on #6485 or #6488
Eric Wieser (Mar 01 2021 at 15:10):
Any ideas why CI is stuck in "queued" for these PRs? #6485, #6488
https://github.com/leanprover-community/mathlib/actions/runs/610068570
Eric Wieser (Mar 01 2021 at 15:12):
Pushing a new commit seems to have fixed things on the first one
Gabriel Ebner (Mar 01 2021 at 16:17):
Maybe https://www.githubstatus.com/incidents/xn0sd2x4nd7f?
Last updated: May 02 2025 at 03:31 UTC