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

Improve some CI jobs #15039

Merged
merged 1 commit into from Mar 23, 2023
Merged

Improve some CI jobs #15039

merged 1 commit into from Mar 23, 2023

Commits on Mar 23, 2023

  1. Improve some CI jobs 

    - make the CodeCov CI job informational. We don't want red PRs just
  because the coverage varies slightly. We still get comments inline
  saying where code coverage is met; this is more useful during review
  than a single number and failing status
- make the Triage CI job do less: instead of enforcing a time period for
  review window, make it only exist to self-approve PRs for merge and
  require a maintainer otherwise to review
    @MikeMcQuaid
    MikeMcQuaid committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    510c4dc View commit details
    Browse the repository at this point in the history