Distinguish skipped CI from failed CI on PRs page | Hacker News Reader