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.

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

Skip PCT by default on PRs #2034

Merged
merged 6 commits into from
May 3, 2023
Merged

Skip PCT by default on PRs #2034

merged 6 commits into from
May 3, 2023

Commits on May 2, 2023

  1. Skip PCT by default on PRs

    jglick committed May 2, 2023
    Configuration menu
    Copy the full SHA
    57817f6 View commit details
    Browse the repository at this point in the history
  2. Run full tests weekly

    jglick committed May 2, 2023
    Configuration menu
    Copy the full SHA
    52817f7 View commit details
    Browse the repository at this point in the history
  3. Empty commit should suffice

    jglick committed May 2, 2023
    Configuration menu
    Copy the full SHA
    809cd9a View commit details
    Browse the repository at this point in the history

Commits on May 3, 2023

  1. git branch -D might be necessary

    Co-authored-by: Joseph Petersen <me@jetersen.dev>
    jglick and jetersen committed May 3, 2023
    Configuration menu
    Copy the full SHA
    5fee7da View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f639628 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ca28da0 View commit details
    Browse the repository at this point in the history