[Tim] >> Bizarre. "Check for source changes (pull_request)" apparently fixed >> itself by magic.
[Éric Araujo <mer...@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-le...@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/
