tree 5018d77d22bfe6ee2ea1c5105c7a9fa994bba566
parent 3f3a063c93d486df624bb745aa0836f551fb6f55
author Davide Pesavento <davidepesa@gmail.com> 1701637892 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1701637892 -0500

ci: skip examples in code-coverage builds

Change-Id: Ib2d466c6df4ea12906e7e3376796597cbe0a4c2c