ci: make sure git directories don't have unneeded files in them (#15247)

This commit is contained in:
John Kleinschmidt 2018-10-18 11:35:40 -04:00 committed by GitHub
parent db37ab1039
commit 4bbb70de74
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -8,11 +8,16 @@ jobs:
CI: true
steps:
- bash: |
git clean -fdx
displayName: Clean unneeded git directories
timeoutInMinutes: 2
- task: CopyFiles@2
displayName: 'Copy Files to: src/electron'
inputs:
TargetFolder: src/electron
timeoutInMinutes: 1
timeoutInMinutes: 2
- bash: |
export PATH="$PATH:/Users/electron/depot_tools"