tree b5627acd347ace48b11fbf64be19d1be9c36b848
parent 11c36389e6b993989b5f7544708e0089c9d25e2a
author Davide Pesavento <davidepesa@gmail.com> 1707531486 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707532526 -0500

ci: minimize installed libboost packages

Change-Id: Ie69d8324f6d240d9d1284f62da638680b53851e3