On 3/10/23 00:17, Santiago Vila wrote:
Nilesh Patra wrote:
I wonder if it is another of those "$specific-CPU-configuration" failures.
Please note that no specific configuration is mandated by Debian policy, so
I understand that packages must build from source regardless of the number
of CPUs. This is what usually happens, and it's also what our users expect.
If you could not reproduce the randomness with the grub trick above, please
contact me privately, as I could offer ssh access to a machine where
such randomness happens.
Thank you Santiago for providing me access to such a machine. I could repro the
issue
and added in a patch to fix it as well.
I saw all builds passing on doing 30 consecutive builds with my patch, so I
believe this
works fine.
I have uploaded with my changes. @Andreas, I think we will need to file an
unblock request
for this to migrate.
Thanks,
Nilesh
