11 Jan
2022
11 Jan
'22
9:21 p.m.
[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!