tree 03373517942c69773e06e7038d85b9785292af96
parent c49f529945c483a8fe9953405ea95c4e575385d5
author Davide Pesavento <davidepesa@gmail.com> 1701637472 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1701637472 -0500

ci: skip examples in code-coverage builds

Change-Id: I5d7e2f02f401e296507b21ae09244d7dd0c13525