tree 8d7a0d1bbbad3c58c7be05066fe56a093e9410b4
parent ce6f03bfa8dd78da586a58732f81ccb98a7eae0f
author Davide Pesavento <davidepesa@gmail.com> 1707603035 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707603035 -0500

ci: minimize installed libboost packages

Change-Id: I0a145decf20ba12e3ef3ce186b3abfacfce65287