Distinguish skipped CI from failed CI on PRs page

by nishiohiroshi | Feb 17, 2026 | 0 comments on HN