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

Fix PATH on Windows #20

Merged
merged 4 commits into from
Feb 9, 2020
Merged

Fix PATH on Windows #20

merged 4 commits into from
Feb 9, 2020

Commits on Feb 9, 2020

  1. Silence the output of 7z on Windows

    * It's quite verbose (22 lines) and there is no quiet flag.
    eregon committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    71f024b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e15ecc8 View commit details
    Browse the repository at this point in the history
  3. Do not remove any dev tools from PATH on Windows

    * This might lead to more conflicts, but the flip side of a setup action
      removing capabilities seems worse and unexpected.
    * See #19
    eregon committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    55dff25 View commit details
    Browse the repository at this point in the history
  4. Don't run CI twice when merging to master

    * It already ran on the feature branch.
    eregon committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    53b22d2 View commit details
    Browse the repository at this point in the history