tree 17de875a506affb7336cad72947d84ce38f498de
parent cdb5d8f646d0ba5f3ea775bc9008bce0ed61f507
author Md Ashiqur Rahman <marahman@email.arizona.edu> 1535845431 +0000
committer Davide Pesavento <davide.pesavento@lip6.fr> 1536631093 -0400

ci: add support for CentOS 7

refs: #4610

Change-Id: I458ee0c2bbe54722cf5874c8725b8126629a4d98