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

7 jobs for webextension
in 2 minutes and 13 seconds and was queued for 7 seconds