Boost logo

Boost :

From: Mateusz Loskot (mateusz_at_[hidden])
Date: 2020-03-30 18:27:20

On Mon, 30 Mar 2020 at 20:13, Rene Rivera via Boost
<boost_at_[hidden]> wrote:
> 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.

Is it possible to mirror release archives on GitHub Releases or or both?

Best regards,

Mateusz Loskot,

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