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 working directory #306

Merged
2 commits merged into from
Aug 9, 2018
Merged

Clean working directory #306

2 commits merged into from
Aug 9, 2018

Commits on Aug 9, 2018

  1. Clean working directory 

    Prior to this commit failed builds would leave a dirty working directory. This
commit fixes that by adding a try, finally block to make sure the directory is
cleaned.
    @rebpdx
    rebpdx committed Aug 9, 2018
    Configuration menu
    Copy the full SHA
    3e05c6a View commit details
    Browse the repository at this point in the history

  2. Move checkout inside try block 

    Prior to this commit the checkout call was outside the try block. This commit
fixes that by moving the checkout into the try block incase it fails and the
working directory still needs to be cleaned up.
    @rebpdx
    rebpdx committed Aug 9, 2018
    Configuration menu
    Copy the full SHA
    b3bbab8 View commit details
    Browse the repository at this point in the history