CI: don't trigger tests for "on push" if changes only in docs folder or markdown files; move devops_tests and pre-commit jobs to a separate workflow#1635