| author |  Loris Cro <kappaloris@gmail.com> 2022-11-25 20:35:39+01:00 |
| committer |  Andrew Kelley <andrew@ziglang.org> 2023-01-09 14:42:16-07:00 |
| log | a10417ae008f03ff6c896483cb90fc9fb3c4d140 |
| tree | 80033bbe1ac5fc98fab08094bd229d90b73d0818 |
| parent | 708a936b88dda34858c5d75aa9de597f67cd5c27 |
ci: windows: prevent `del` errors when the directory doesn't exist
1 files changed, 1 insertions(+), 1 deletions(-)
.github- workflows
.github/workflows/ci.yaml+1-1
| ... | @@ -105,7 +105,7 @@ jobs: | ... | @@ -105,7 +105,7 @@ jobs: |
| 105 | - name: Switch to specific commit | 105 | - name: Switch to specific commit |
| 106 | if: ${{ github.event_name == 'workflow_dispatch' }} | 106 | if: ${{ github.event_name == 'workflow_dispatch' }} |
| 107 | run: | | 107 | run: | |
| 108 | del -r ../ci | 108 | if (Test-Path ../ci) { del -r ../ci } |
| 109 | cp ci ../ | 109 | cp ci ../ |
| 110 | git checkout ${{ inputs.commit }} | 110 | git checkout ${{ inputs.commit }} |
| 111 | del -r ci | 111 | del -r ci |