GitLab

* [Docs] Skip CI when some specific files were changed

* remove a unnecessary environment in lint.yml

* Use paths-ignore to ignore paths instead of paths

* fix typo