tree 4ed407edafb3a6626b8821b7741a65054a440552
parent 83faec7308d8a98b45f967ba2693ed4c9c2de034
author Davide Pesavento <davidepesa@gmail.com> 1668993366 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1668993366 -0500

ci: skip headers check in code-coverage jobs

Change-Id: I73f5cc04cc4b8bf69db66e690d9d4117239a0961