3 Commits

Author	SHA1	Message	Date
Adrien Crivelli	c3d1ce536b	Publish API docs via GitHub Actions	2020-10-11 12:06:27 +09:00
Adrien Crivelli	794ac801a5	Annotate problems in code	2020-10-10 22:51:04 +09:00
Adrien Crivelli	44080a1e8b	Introduce GitHub Actions ... The plan is to keep Travis for a short while, until we are confident that GitHub Actions work well enough for us. And after that we can remove Travis entirely. There is a bunch of duplicated things but it allows us to maximize parallelismt to have results as soon as possible. API documentation generation is still missing.	2020-10-10 21:03:14 +09:00