tree a0a90546fe171452215849821a188c982dc3d7e7
parent 4c24cf76fae955761c1586c23dd1f95f6934446e
author Davide Pesavento <davidepesa@gmail.com> 1707548295 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707548295 -0500

ci: minimize installed libboost packages

Change-Id: I9b7d6cd9a3b38985fbcf1ad296b9dc556d730bb7