tree 99d96b44afee81809479e505b2fed5b89a5703e4
parent 7b9837bbdafbff3575b2fd5cbd5686e0d512832c
author Md Ashiqur Rahman <marahman@email.arizona.edu> 1539367160 +0000
committer Davide Pesavento <davidepesa@gmail.com> 1551203542 -0500

ci: add support for CentOS 7

Refs: #4610
Change-Id: Ibf68c3040663dadfc61f0c9d9e92ff2d486b803a