tree 4673e6ed9c83a01e0a37e4d5c7c970ec43eab72d
parent d81743717a5dd27cbe052570ec988c6f8a744ae8
author Davide Pesavento <davidepesa@gmail.com> 1707600144 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707600144 -0500

ci: minimize installed libboost packages

Change-Id: Id951109d6be1f5ba86454625e1d15ad739011ddb