tree d093b92635680402967a130ae14e26374a598054
parent 4dc4b3cc21b3900568b427784c77cb3762bf0f4f
author Davide Pesavento <davidepesa@gmail.com> 1707181025 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707194045 -0500

ci: minimize installed libboost packages

Change-Id: I69f5f2198cdc74db0f41619b678eff2c24a76983