Merge pull request #2774 from cgwalters/ci-fedora-fix
authorColin Walters <walters@verbum.org>
Mon, 21 Nov 2022 14:15:23 +0000 (09:15 -0500)
committerGitHub <noreply@github.com>
Mon, 21 Nov 2022 14:15:23 +0000 (09:15 -0500)
ci: Fix case where cosa != buildroot


Trivial merge