Christian Kellner 3d13c825c0 ci: run coverity check every night ... Add a github workflow that will trigger the run of coverity every night at 05:00 UTC. Uses the new Makefile coverity targets.		2020-06-24 10:01:24 +02:00
..
coverity.yml	ci: run coverity check every night	2020-06-24 10:01:24 +02:00
tests.yml	ghci: merge unittest invocations	2020-06-05 09:27:40 +02:00