Skip to content
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

Clean Up PR Triggers #18186

Merged
merged 2 commits into from
Apr 21, 2021
Merged

Clean Up PR Triggers #18186

merged 2 commits into from
Apr 21, 2021

Commits on Apr 20, 2021

  1. clean up PR triggering from eng/ and tools/. adding core build is fin… 

    …e, given that there is a direct dependency relationship, but we don't need to include tools/eng outside of the core pipeline
    @scbedd
    scbedd committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    c03f7ec View commit details
    Browse the repository at this point in the history

  2. ensure that CI triggers are also mirroring the fixes to PR triggers

    @scbedd
    scbedd committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    9e40fa5 View commit details
    Browse the repository at this point in the history