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
..
main.yml	Introduce GitHub Actions	2020-10-10 21:03:14 +09:00