Distinguish skipped CI from failed CI on PRs page

3 points | by nishiohiroshi 10 hours ago ago

No comments yet.