Repository navigation

feat(web): show pull request ci status in the sidebar - #5873

Closed

AadiJo wants to merge 3 commits into

pingdotgg:mainfrom

AadiJo:show-pull-request-ci-status

Commits on Aug 9, 2026

feat(web): show pull request ci status in the sidebar
AadiJo
committed
8e33863
fix(server): no green ci dot for a suite that never reached a verdict
AadiJo
committed
f02c0aa
fix(server): treat stale checks as failing and fix legacy ci dot ring
AadiJo
committed
67a8922