tree 9ffba8b3ab77d8ff94fff1edd5ca0f83131fea5f
parent 5fdcbec250db8aa9fab9e2b1102e865f958e9e29
author Davide Pesavento <davidepesa@gmail.com> 1707524854 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707524854 -0500

ci: minimize installed libboost packages

Change-Id: I8fe048313ff50b00bc09ab912bedaf46008f0a9a