tree 2a361fe41f12ab6b0d0bfddac4706ce446821f55
parent 60d3e0eea07daf7b2e35b564e067de014078e7f7
author Davide Pesavento <davidepesa@gmail.com> 1707525603 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707525603 -0500

ci: minimize installed libboost packages

Change-Id: Ia902368dc14cb350ebf9690ead9fdbc6742944bb