3 ms·

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

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.