Re: Does CI run on RHEL 7.5?