CI Bot

[Mrmaxmeier]

I'm currently experimenting with automated test runs using the GitHub Checks API.

The github app can be added to a repo using this link (i think?):
https://github.com/apps/tectonic-ci

@crlf0710 You can try adding the integration to your tectonic fork. Ping me when it's set up as it still needs some manual configuration.

[crlf0710]

I clicked install and choosed the repo. What do i need to do next?

[Mrmaxmeier]

Thanks. That should be enough.
I'll try it out on crlf0710/tectonic#169 by closing/reopening the PR once my setup is ready.

[crlf0710]

Looks great! Is 2446 the total number of all the files? And ~900 files are not successful? Where can i get these files...

[Mrmaxmeier]

Looks great! Is 2446 the total number of all the files? And ~900 files are not successful? Where can i get these files...

I'm using arXiv_src_1702_{015..020}.tar

You can download them from arXiv's s3 bucket or from
https://tt.ente.ninja/datasets/.

[cormacrelf]

This is awesome. Could you add a link to the results on tt.ente.ninja? The results in Markdown appear to be too big for the API sometimes. https://github.com/crlf0710/tectonic/pull/168/checks?check_run_id=276662527