5 Commits

Author	SHA1	Message	Date
Adrien Crivelli	ba1ce8b8ec	Automatic GitHub releases from git tags	2020-11-26 12:44:07 +09:00
Adrien Crivelli	bd05c590e3	Drop Travis	2020-11-26 11:10:52 +09:00
Adrien Crivelli	7545c411f9	Test PHP 8 on GitHub Actions	2020-10-11 19:46:56 +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