GitHub Actions: Use CentOS 7 for Linux, fix #1533
2 files changed