Duncan Overbruck 284f41c16c .github/workflows/coverity-scan.yml: do it on push for now		2020-04-18 14:42:16 +02:00
..
workflows	.github/workflows/coverity-scan.yml: do it on push for now	2020-04-18 14:42:16 +02:00