[python-committers] Re: GitHub mystery: "Check for source changes (pull_request)" failed

Hello,

Le 11/01/2022 à 22:23, Tim Peters a écrit :

Bizarre. "Check for source changes (pull_request)" apparently fixed itself by magic.

That was me! 🧙 I re-ran the workflow to see if it was a sporadic failure.

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!

Cheers