Sorry but I've lost track about it. Which platform are we "actually" using for CI? I guess we still use Apache buildbot, but lately it seems not to be triggered when we commit something: it's stuck since October. Earlier this year I've started paling with Apache Jenkins which is still active, but I don't know if someone is actually using it. Martin is using GitHub CI support but I don't think it performs tasks like updating javadoc or user guide.
... -- Andrea Del Bene. Apache Wicket committer.
