tree cc0d6831d8d7f0af19a1a5b0a79c84e6ffc87f20
parent 6d4a6536fd1677561c8a3983fa68792bf68923b7
author Davide Pesavento <davidepesa@gmail.com> 1701639214 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1701639214 -0500

ci: skip examples in code-coverage builds

Change-Id: I99d94ba5f26504a451529767a0cedf5527b574dc