Push without running CI

Stream: batteries

[cmlsharp]

I pushed a number of small commits to my binary heap PR, and I only just realized that CI was running for each of those small pushes. I'm very sorry about that. Is there a way to tag in the commit message that CI should not be run? (or in the future I can simply not make small pushes)

[Bryan Gin-ge Chen]

Yes, per GitHub's docs it looks like any of the following will work:

• [skip ci]
• [ci skip]
• [no ci]
• [skip actions]
• [actions skip]

(You can also apparently add skip-checks: true to the end as well with some conditions which are described in the docs page I linked above.)

[Kim Morrison]

(but also, don't worry, CI is cheap?)