add `coverage` for gitlab ci and update project badges (!37) · Merge requests · Adrien Dorsaz / acme-dns-tiny

Adrien Dorsaz requested to merge housekeeping into main Aug 10, 2022

Gitlab v15 has removed the "coverage" setting from the project settings, it has to be added in gitlab ci job.

Badges needed to be updated since we switched from master to main default branch.

add `coverage` for gitlab ci and update project badges