tree 97bc61e0b57c2e6f059c1d06a8553e8aab1b7dbe
parent d6e569ff4b2cf8dc76d7944980f7a2488faa92fe
author Davide Pesavento <davidepesa@gmail.com> 1636181882 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1636184143 -0400

ci: sync code coverage script; add headers check

Change-Id: Idf31d4c029d0cc79f85c8ac8d4ed373d46c525dd