diff options
| author | Loris Cro <kappaloris@gmail.com> | 2022-11-25 20:35:39 +0100 |
|---|---|---|
| committer | Loris Cro <kappaloris@gmail.com> | 2022-11-25 20:35:39 +0100 |
| commit | c59d60893b9485e26888b87fa10276fb1e5bdf0e (patch) | |
| tree | f326e292f63acfa5747a4a9b34ad36a5fb5f7784 /.github | |
| parent | e096f972d08fa32a7f269b7326c05b7eaf065b23 (diff) | |
| download | zig-c59d60893b9485e26888b87fa10276fb1e5bdf0e.tar.gz zig-c59d60893b9485e26888b87fa10276fb1e5bdf0e.zip | |
ci: windows: prevent `del` errors when the directory doesn't exist
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index be812f7cea..882e9824be 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -105,7 +105,7 @@ jobs: - name: Switch to specific commit if: ${{ github.event_name == 'workflow_dispatch' }} run: | - del -r ../ci + if (Test-Path ../ci) { del -r ../ci } cp ci ../ git checkout ${{ inputs.commit }} del -r ci |