Skip to content

gitlab-ci: rename GitLab jobs ark -> rawhide

The rawhide jobs were ambiguously named ark.

Needs kernel-workflow!1371 (merged)

Part of #130 (closed)

Signed-off-by: Michael Hofmann mhofmann@redhat.com

Merge request reports