ba1ce8b8ec
Automatic GitHub releases from git tags
2020-11-26 12:44:07 +09:00
bd05c590e3
Drop Travis
2020-11-26 11:10:52 +09:00
7545c411f9
Test PHP 8 on GitHub Actions
2020-10-11 19:46:56 +09:00
c3d1ce536b
Publish API docs via GitHub Actions
2020-10-11 12:06:27 +09:00
794ac801a5
Annotate problems in code
2020-10-10 22:51:04 +09:00
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
5b3870c508
Prefer https:// URLs when available in docs & comments
...
Fixes #737
2018-10-28 13:55:00 +11:00
e4b98d268d
Prevent checkboxes to be interpreted as todo list
2017-12-17 19:17:19 +09:00
8041a87f7a
Configure stale and support Probots
2017-12-04 19:05:09 +09:00
4c42afe7b8
Add issue and PR template
...
To reduce issue volume on GitHub all support question should be redirected
to StackOverflow or Gitter.
2017-05-07 16:54:41 +02:00
Adrien Crivelli