Boost logo

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 (
> >> and build (
> >> 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
> >, 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, gregod at, cpdaniel at, john at