tree a1a2605cf9a869b852abd979c3cf2a700d060ccf
parent eec6b03d73e961d76ef652c0b6d7fcc645ffb12c
author Davide Pesavento <davidepesa@gmail.com> 1707594904 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707595524 -0500

ci: minimize installed libboost packages

Change-Id: I06545c639ebb5b5fdb302534d5b7c5e4d9aeca6c