New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Pipeline]: exclude docs PR from full pipeline runs #7661

Open

1 task

Tracked by

livio-a opened this issue Mar 28, 2024 · 0 comments

Open

1 task

Tracked by

[Pipeline]: exclude docs PR from full pipeline runs #7661

livio-a opened this issue Mar 28, 2024 · 0 comments

Labels

ci devops improvement

Member

livio-a commented Mar 28, 2024

Currently pure docs PRs execute the whole pipeline, which is not necessary and takes too long.

Acceptance criteria

Docs PR do not execute the build pipeline, but are able to pass branch protection

livio-a added ci improvement devops labels

stebenz mentioned this issue

Improve Dev Experience #7933

Open

4 tasks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment