[ci skip] being ignored together with single-push commits

I created these 4 commits locally then pushed it with a single git push command. Then, I expected that the last one before [ci skip] (4ac8c7b) trigger CircleCI to build it, which doesn’t happen.

Is this the intended behavior?

I’m faced with a similar problem. If the last commit is a [skip ci] but there are other commits in the push then none of it will run.

It should only skip of all commits in a push is set to skip.