[Tim]
>> Bizarre. "Check for source changes (pull_request)" apparently fixed
>> itself by magic.

[Éric Araujo <merwok@netwok.org>]
> That was me! 🧙  I re-ran the workflow to see if it was a sporadic failure.

Cool! No more or less mysterious to me than if you hadn't ;-)

>> Now "Check if generated files are up to date (pull_request)" is failing instead

> Then I saw that and looked at the github status website, which indicated
> an issue.  Patience is the remedy!

Too late! It passes now :-) After waiting a couple hours, I poked
around until finding a button that made it try that part again. This
time it passed.

But somehow I managed to convince it run nearly 70 different jobs  A
mystery I will happily leave uninvestigated.

Thanks for chipping in!
_______________________________________________
python-committers mailing list -- python-committers@python.org
To unsubscribe send an email to python-committers-leave@python.org
https://mail.python.org/mailman3/lists/python-committers.python.org/
Message archived at https://mail.python.org/archives/list/python-committers@python.org/message/JCJSJEXKD5F5G67REJVAD74BTYKHHSV7/
Code of Conduct: https://www.python.org/psf/codeofconduct/