chore: while awaiting-mathlib, show yellow status not red#8471

kim-em merged 1 commit intomasterleanprover/lean4:masterfrom

awaiting-mathlib-yellowleanprover/lean4:awaiting-mathlib-yellowCopy head branch name to clipboard