KaTeX Screenshotter Bot

[ylemkimon]

GitHub has introduced "Checks API", which states:

The Checks API allows you to build sophisticated tools for continuous integration (CI), linting, and acceptance testing on GitHub.

I've created a bot, based on probot(Node.js based), which posts a check run with CircleCI screenshotter results, as screenshotter is hard to run and CircleCI build artifacts are hard to access.

https://github.com/KaTeX/screenshotter-bot

• [x] Transfer the bot repo to KaTeX organization
• [x] Deploy the bot: Glitch(free with restrictions), Heroku(free plan with limitations), Zeit Now(free for open source)
• [x] Create a GitHub App and install on KaTeX repo

Running

Passed

Failed

Errored

[kevinbarabash]

This is awesome! I love that diffs from failures show up right in the GitHub UI.

[kevinbarabash]

Transfer the repo to KaTeX organization

Sorry I still haven't gotten around to this. Knowing why this is necessary will me advocate transferring of the repo.

[ylemkimon]

@kevinbarabash I meant moving the bot repo(https://github.com/ylemkimon/screenshotter-bot) to the KaTeX organization. That way, it's easier to maintain, and other people can easily review and contribute to the code.

[edemaine]

Is it possible to run lint, flow, and/or jest via this API too?

[ylemkimon]

@edemaine There is annotation feature in the check:

I think Travis CI or CircleCI will support exporting results to CI.

[ylemkimon]

I didn't know it was installed on the repo 😄 As it's running on my laptop, its uptime would be only when I'm debugging it or I forgot to turn off it after the debugging :)

[ylemkimon]

Blocked on https://github.com/ylemkimon/screenshotter-bot/issues/3 and https://github.com/ylemkimon/screenshotter-bot/issues/2.

[kevinbarabash]

Thanks for the update.

[ylemkimon]

The issues has been resolved and I think it's ready to be deployed. @kevinbarabash Can I transfer the bot repo's ownership to the KaTeX?

[kevinbarabash]

@ylemkimon go for it. Thanks for setting this up.

[ylemkimon]

@kevinbarabash Done 😄 Please update the author/copyright information appropriately.

[kevinbarabash]

@ylemkimon just so that we're on the same page, you think we should change the copyright to

Khan Academy (c) 2018

[ylemkimon]

@kevinbarabash Yes, I'm willing to waive all my rights if necessary.

Also, it seems creating a GitHub app on the organization requires admin permission. Could you create a GitHub app and deploy the bot? (I think we can go with Zeit Now).

[ylemkimon]

The bot is successfully deployed!

[ylemkimon]

I forgot to enable Pull request permission and event subscription, which is needed for PR from forked repo. I enabled them and re-authentication may be necessary.

[kevinbarabash]

@ylemkimon I've accepted the updated permissions.

[ylemkimon]

@kevinbarabash Thank you!