The 70 different jobs were presumably the full complement of buildbots (requested by setting a special label on the PR, which one of our GitHub bots watches).
On Tue, Jan 11, 2022 at 9:22 PM Tim Peters <tim.peters@gmail.com> wrote:
[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/J... Code of Conduct: https://www.python.org/psf/codeofconduct/
-- --Guido van Rossum (python.org/~guido) *Pronouns: he/him **(why is my pronoun here?)* <http://feministing.com/2015/02/03/how-using-they-as-a-singular-pronoun-can-c...>