tree eb20bb06a38ff2a6fe5787561b03273d863b3dcb
parent 6cda3e722ad2b46f940dcbed081cb8477a7c4ce5
author Davide Pesavento <davidepesa@gmail.com> 1707531830 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707532564 -0500

ci: minimize installed libboost packages

Change-Id: Iccaa39bbffb218cfe693ccf2e48c56d24fbd98aa