tree 530a59f2b61ded81e75ce8e7607640088055ab59
parent eeca59e0c3ade22c61e01a546194a5f776781abf
author Davide Pesavento <davidepesa@gmail.com> 1612901555 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1612983023 -0500

ci: compile-check installed headers

Script copied from ndn-cxx with minor modifications

Change-Id: Ib2e82e97161078d653f965c769de149cc28c60dd