How to interpret successful CI check statuses?

Stream: new members

[mars0i]

Sorry to ask this--I'm sure it's just background knowledge to many here. I pushed a branch to mathlib, and it passed CI, I assume, since there's a green checkmark in the "Check Status" column.

I note, however, that different branches have different numbers of checks, and that some of checks are "Skipped".

Should I care about the number of checks and the fact that some are skipped? Can I can assume that passing CI means the branch type-checks and compiles? (As to whether it does what it's supposed to do, of course that's a separate question.)

[Ruben Van de Velde]

There's some that only run when you open a PR, I think. If you have a green check mark on the commit, I'd assume you're good

[Michael Rothgang]

In general, my understanding is that "skipped" checks are also fine.

[Michael Rothgang]

(One exception, perhaps: if you're opening a PR from a fork of mathlib, CI will not run, and you won't get meaningful results. The solution is to ask for write permissions in mathlib, and create a branch from there. I think you're doing this already.)