| author |  Loris Cro <kappaloris@gmail.com> 2022-11-25 20:35:39+01:00 |
| committer | Loris Cro <kappaloris@gmail.com> 2022-11-25 20:35:39+01:00 |
| log | c59d60893b9485e26888b87fa10276fb1e5bdf0e |
| tree | f326e292f63acfa5747a4a9b34ad36a5fb5f7784 |
| parent | e096f972d08fa32a7f269b7326c05b7eaf065b23 |
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 | 105 | - name: Switch to specific commit |
| 106 | 106 | if: ${{ github.event_name == 'workflow_dispatch' }} |
| 107 | 107 | run: | |
| 108 | del -r ../ci | |
| 108 | if (Test-Path ../ci) { del -r ../ci } | |
| 109 | 109 | cp ci ../ |
| 110 | 110 | git checkout ${{ inputs.commit }} |
| 111 | 111 | del -r ci |