Uh oh!
There was an error while loading. Please reload this page.
Run make regen-global-objects - #108714
Conversation
erlend-aasland
commented
Aug 31, 2023
When was this regression introduced? There is no linked issue. |
vstinner
commented
Aug 31, 2023
I don't know if it can be qualified as a regression. It's unclear to me how it is possible to merge a PR if "generated files" are outdated: the GitHub Action job is supposed to fail. It seems like |
erlend-aasland
commented
Aug 31, 2023
I suspect it was 9205dfe |
vstinner
commented
Aug 31, 2023
Yep, this change removes The job does: where `make regen-all Maybe depending on the order in which |
erlend-aasland
commented
Aug 31, 2023
It sounds like a build system bug to me. |
vstinner
commented
Aug 31, 2023
That's the non-deterministic build system bug: #108740 |
No description provided.