Commit d9e62bdd85c25a671f6a2954c06bb372b492e374

Edward Thomson 2020-11-23T23:40:46

ci: move coverity into nightly builds