Add CI job with --disable-developer [v9_18] (!6931) · Merge requests · ISC Open Source Projects / BIND · GitLab

Petr Špaček requested to merge pspacek/ci-no-developer-mode-v9_18 into v9_18 Oct 18, 2022

Backport of MR !6930 (merged)