tree 1f88fa7cb9ce9d74ab1bd9a61189fa868762ca96
parent bce3cb528bab9ef60eb32fd82ab218008722c48d
author Md Ashiqur Rahman <marahman@email.arizona.edu> 1536083718 +0000
committer Davide Pesavento <davide.pesavento@lip6.fr> 1537115457 -0400

ci: add support for CentOS 7

refs: #4610

Change-Id: I699bbbe1f59dd3bd0fe23e94de28b44613833ce6