This message was deleted.
# report-bugss
Slackbot
02/09/2023, 9:43 PMThis message was deleted.
✅ 1
p
Pranathi Peri
02/09/2023, 9:44 PMcc @Ziyao Wei
z
Ziyao Wei
02/09/2023, 9:45 PMThanks for reporting! Will take a look
a
Anish Ravipati
02/09/2023, 9:46 PMokay it randomly went away
Anish Ravipati
02/09/2023, 9:46 PMi just deleted cache and it seemed to fix
👍 1
z
Ziyao Wei
02/09/2023, 9:48 PMThanks for letting us know! Yeah we are working on CI improvements and there could be inconsistent states esp. between what we previously had and what we are doing now. In fact this sounds like it could be one of the cases where we weren’t calculating required CIs correctly. Please feel free to ping if you see any more issues!
a
Anish Ravipati
02/09/2023, 10:04 PMi’m unable to merge this PR in
👀 1
z
Ziyao Wei
02/09/2023, 10:05 PMTaking a look again, sorry 😕
Ziyao Wei
02/09/2023, 10:05 PMCan you share the PR number over DM?