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/depinst.py 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 SF.net or both?

Best regards,

-- 
Mateusz Loskot, http://mateusz.loskot.net

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk