See https://github.com/crc-org/vfkit/pull/344 , CI already broke once when f40 became EOL’ed
See #344 , CI already broke once when f40 became EOL’ed