quick links for continuous integration?

Stream: general

[Scott Morrison]

I'd love to have a way to get to the continuous integration results for a branch, perhaps from the command line or from VS Code. Does anyone know a solution?

At present I'm manually loading github in a browser, finding that branch, then clicking on the little red X. Typing 'ci' on the command line and having that page pop up, or having that little red X show up in VS Code, would be infinitely more awesome. :-)

[Bryan Gin-ge Chen]

You can get this info from the check-runs endpoint of the Github v3 API:

curl -H "Accept: application/vnd.github.antiope-preview+json" \
  # replace "XXXX" with a personal access token from https://github.com/settings/tokens or omit this line
  -H "Authorization: token XXXX" \
  # replace "master" with the branch name or commit SHA of your choice
  https://api.github.com/repos/leanprover-community/mathlib/commits/master/check-runs

This returns a JSON object with a field check_runs containing an array of objects whose html_url fields contain links to the Github actions results pages.

It should be possible to make a convenient CLI tool around this (maybe there's already one out there?)... but I'm out of energy for now.

[Bryan Gin-ge Chen]

Ah, indeed, hub will do this:

$ git status
On branch prod-map
Your branch is up to date with 'community/prod-map'.

nothing to commit, working tree clean
$ hub ci-status -v
✔︎  Build mathlib                                                               https://github.com/leanprover-community/mathlib/runs/546894771
✔︎  Rule: automatic merge on CI success and review - push (delete_head_branch)  https://github.com/leanprover-community/mathlib/runs/547235491
✔︎  Rule: automatic merge on CI success and review - push (merge)               https://github.com/leanprover-community/mathlib/runs/547235581
✔︎  Summary                                                                     https://github.com/leanprover-community/mathlib/runs/546895846

[Scott Morrison]

Amazing!