tree 7aa496b7d48c3d41e44bfcda0d2013f3ea726e5f
parent cb27d91658aa7923a733763cf70316a0c784342c
author Davide Pesavento <davidepesa@gmail.com> 1586712007 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1586712007 -0400

ci: add CentOS 8 support; drop CentOS 7

Refs: #5040, #5087
Change-Id: I8a52e02801b8e313d1a7531228616526b0f3cc94