Merge branch 'webextension' of gitlab.labs.nic.cz:labs/dnssec-validator into webextension

7 jobs for webextension in 2 minutes and 13 seconds (queued for 7 seconds)