test: selinux-policy-40.13.5-1.el10.noarch is broken as well

[martinpitt]

Rewrite this using a case as that's syntactically easier.

---

See https://artifacts.dev.testing-farm.io/be2e002f-fb32-4cfb-8a55-3f2b2a870dc9/ - I kept the old version as that's still in some RHEL 10 composes.

[packit-as-a-service]

We were not able to find or create Copr project packit/cockpit-project-cockpit-machines-1729 specified in the config with the following error:

Packit received HTTP 500 Internal Server Error from Copr Service. Check the Copr status page: https://copr.fedorainfracloud.org/status/stats/, or ask for help in Fedora Build System matrix channel https://matrix.to/#/#buildsys:fedoraproject.org.

---

Unless the HTTP status code above is >= 500, please check your configuration for:

1. typos in owner and project name (groups need to be prefixed with @)
2. whether the project name doesn't contain not allowed characters (only letters, digits, underscores, dashes and dots must be used)
3. whether the project itself exists (Packit creates projects only in its own namespace)
4. whether Packit is allowed to build in your Copr project
5. whether your Copr project/group is not private

[martinpitt]

argh yes, copr is kaputt today. My build in https://src.fedoraproject.org/rpms/cockpit-files/pull-request/10 also hasn't been picked up for many hours.

[martinpitt]

OK, that's better -- now it "only" fails testCreateDownloadAnOS (for a different reason), not all tests any more due to SELinux. So that's at least an improvement. I'll look at that new failure next. It strongly reminds me of #1724, presumably there's a new libvirt or virt-install version which is trickling into development distros now.

[jelly]

Blegh, thanks for the workarounds!