I suggest adding an explanation about how to trigger the CI build on Github.
Probably in this section of the wiki as 6th item in the list:
- CI job is not started automatically after a commit is pushed. You should trigger it manually by adding a comment like
bot, build APPID
.
Or there’s another better place to put this information?