ci: do not run CI workflow if the changes are related only to documentation or GitHub Actions configuration#314
Merged
martin-georgiev merged 1 commit intomainfrom Mar 28, 2025