Can you repeat your CI script/config for joker once again? It got lost in the history. Now I invited @logbot and @zulip-mirror-bot so it should forever be recorded from now on.

@borkdude a slightly modified one