Boost logo

Boost :

From: Rene Rivera (grafikrobot_at_[hidden])
Date: 2020-03-30 18:13:30

Top post ;-)

On Mon, Mar 30, 2020 at 1:10 PM Emil Dotchevski via Boost <
boost_at_[hidden]> wrote:

> CI should use tools/boostdep/depinst/ to grab only the needed
> repos from github.

Some of us test against whole Boost releases and the release archives are
the easiest to deal with. Yes, I'm partly to blame :-) But in my defense, I
did make changes to use git clones and the release tags. Even if it cost me
many minutes of CI time to do it.

-- Rene Rivera
-- Grafik - Don't Assume Anything
-- Robot Dreams -

Boost list run by bdawes at, gregod at, cpdaniel at, john at