|
Boost : |
From: Peter Dimov (pdimov_at_[hidden])
Date: 2021-05-26 03:30:49
Gavin Lambert wrote:
> On 26/05/2021 2:17 pm, Peter Dimov wrote:
> > Tom Kent wrote:
...
> >> I believe this is because of the python (
> >> https://github.com/boostorg/python/pull/362) and build (
> >> https://github.com/boostorg/build/pull/726) pull requests that were
> >> merged in around that time. The question is, why is this causing an issue...
> >
> > This is because the Build change has only been merged to
> > https://github.com/bfgroup/b2, where the development has moved, and is
> > not yet in boostorg/build's develop branch.
>
> Doesn't that mean that the python PR should not have been merged yet, since
> it depends on something not yet in Boost?
It does. I said so in the PR, but I probably should have made it a draft. In such
cases usually the two PRs are merged close to each other so it doesn't become
a problem, but in this case the current Build workflow prevents that.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk