tree 20857f2829eaafed15915e0f176a799ae6aed3c4
parent 143f39d207712105e9cbfd46cfa65eceecf924c8
author Davide Pesavento <davidepesa@gmail.com> 1707597906 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707597906 -0500

ci: minimize installed libboost packages

Change-Id: Iabb617ad963773df21d9e928b363687314b55ba2