tree b037da4494d2725e7723a6220a7b72a48b97cf46
parent a1a9d704bad78b34cd18b59dcb1b92690c72b8e0
author Davide Pesavento <davidepesa@gmail.com> 1585521979 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1585532351 -0400

ci: add CentOS 8 support; drop CentOS 7

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