Ignore changes in docs for ci

[t-huyeng]

You can also use [skip ci] inside a commit message to skip the ci for small changes.

See: https://docs.github.com/en/actions/managing-workflow-runs/skipping-workflow-runs