6ad4b0
Merge branch 'crameleon/kani' into 'production' Asgard: more rules for kani-ext-dev See merge request https://gitlab.infra.opensuse.org/infra/salt/-/merge_requests/2477.