tree dcfb7571b5f15147f0a72a91939261eb0627056a
parent 7639daa564471d292bfec8e3b7e283f6dabac011
author Davide Pesavento <davidepesa@gmail.com> 1701637963 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1701637963 -0500

ci: add build testing against named-data PPA

Also, skip examples in code-coverage builds

Change-Id: I11a728eb3f469e0838217fada5184833ba191198