Damir Jelić 9679db6ddc CI: Enable code coverage again.		2020-12-08 14:05:25 +01:00
..
ci.yml	CI: Rename the workflow file.	2020-12-08 13:58:26 +01:00
coverage.yml	CI: Enable code coverage again.	2020-12-08 14:05:25 +01:00