[2trill2spill]

Don't fork via github and just push the code to a new repo and you can add CI to that.

Edit: Or maybe that's the workaround for coverity-scan, I don't remember.