After I approved, it still skipped many CI jobs. Mihai ________________________________ From: Julian Hyde <[email protected]> Sent: Tuesday, August 25, 2026 9:58 AM To: [email protected] <[email protected]> Subject: Re: Skipped CI jobs
Are you referring to the GitHub policy of not running CI for PRs from first-time contributors? That policy seems understandable to me, especially during the crypto-mining days, because it prevents people from using GitHub for free CPU. GitHub has also been flaky over the last few months. Last week I was hit by an issue, which lasted for several hours, where pushes to main didn’t trigger a CI job. (It’s not that the job failed. There was no job to restart. After GitHub resolved the issue, I had to force-push several commits to trigger CI.) > On Aug 25, 2026, at 9:48 AM, Mihai Budiu <[email protected]> wrote: > > I wonder why CI skips so many jobs. Some of them seem unjustified: > https://github.com/apache/calcite/pull/5219 > >
