Commit 78436df033be18b564629230d2398f7bab08437e

Edward Thomson 2020-11-24T00:26:15

ci: correct container usage for coverity