Re: ELN build order (was: Re: OCaml 5.1 rebuild)

2023-10-18 Thread Stephen Gallagher
On Fri, Oct 6, 2023 at 11:16 AM Stephen Gallagher wrote: ... > So, as we all know, build ordering is hard (and, despite intuitive > belief, not actually deterministic). > > ELN actually "cheats" somewhat when we do our builds. When we process > a batch of builds (triggered by a set of tag events t

Re: ELN build order (was: Re: OCaml 5.1 rebuild)

2023-10-07 Thread Stephen Smoogen
On Fri, 6 Oct 2023 at 15:45, Richard W.M. Jones wrote: > On Fri, Oct 06, 2023 at 11:16:17AM -0400, Stephen Gallagher wrote: > > So, as we all know, build ordering is hard (and, despite intuitive > > belief, not actually deterministic). > > > > ELN actually "cheats" somewhat when we do our builds.

Re: ELN build order (was: Re: OCaml 5.1 rebuild)

2023-10-06 Thread Stephen Gallagher
On Fri, Oct 6, 2023 at 3:45 PM Richard W.M. Jones wrote: > On Fri, Oct 06, 2023 at 11:16:17AM -0400, Stephen Gallagher wrote: > > So, as we all know, build ordering is hard (and, despite intuitive > > belief, not actually deterministic). > > > > ELN actually "cheats" somewhat when we do our build

Re: ELN build order (was: Re: OCaml 5.1 rebuild)

2023-10-06 Thread Richard W.M. Jones
On Fri, Oct 06, 2023 at 11:16:17AM -0400, Stephen Gallagher wrote: > So, as we all know, build ordering is hard (and, despite intuitive > belief, not actually deterministic). > > ELN actually "cheats" somewhat when we do our builds. When we process > a batch of builds (triggered by a set of tag ev

Re: ELN build order (was: Re: OCaml 5.1 rebuild)

2023-10-06 Thread Stephen Gallagher
On Fri, Oct 6, 2023 at 7:38 AM Richard W.M. Jones wrote: > > > On Fri, Oct 06, 2023 at 12:23:09PM +0100, Richard W.M. Jones wrote: > > On Fri, Oct 06, 2023 at 10:19:22AM +0100, Richard W.M. Jones wrote: > > > On Fri, Oct 06, 2023 at 08:48:52AM +0100, Richard W.M. Jones wrote: > > > > On Thu, Oct 0

Re: ELN build order (was: Re: OCaml 5.1 rebuild)

2023-10-06 Thread Stephen Smoogen
On Fri, 6 Oct 2023 at 07:38, Richard W.M. Jones wrote: > > On Fri, Oct 06, 2023 at 12:23:09PM +0100, Richard W.M. Jones wrote: > > On Fri, Oct 06, 2023 at 10:19:22AM +0100, Richard W.M. Jones wrote: > > > On Fri, Oct 06, 2023 at 08:48:52AM +0100, Richard W.M. Jones wrote: > > > > On Thu, Oct 05,

ELN build order (was: Re: OCaml 5.1 rebuild)

2023-10-06 Thread Richard W.M. Jones
On Fri, Oct 06, 2023 at 12:23:09PM +0100, Richard W.M. Jones wrote: > On Fri, Oct 06, 2023 at 10:19:22AM +0100, Richard W.M. Jones wrote: > > On Fri, Oct 06, 2023 at 08:48:52AM +0100, Richard W.M. Jones wrote: > > > On Thu, Oct 05, 2023 at 10:03:59AM +0100, Richard W.M. Jones wrote: > > > > Over t