tree 883f127afd5f225708f6e596d5708bd9734f9325
parent c6e4472df72d9ab71ed4ec6aff2ddaff231e7ce5
author Davide Pesavento <davidepesa@gmail.com> 1668993731 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1668993731 -0500

ci: skip headers check in code-coverage jobs

Change-Id: I259a2a21c61da11805ccbd578a985c2ed764ef45