Use Fedora for the CI pipeline.