From a10417ae008f03ff6c896483cb90fc9fb3c4d140 Mon Sep 17 00:00:00 2001
From: Loris Cro <kappaloris@gmail.com>
Date: Fri, 25 Nov 2022 20:35:39 +0100
Subject: [PATCH] ci: windows: prevent `del` errors when the directory doesn't
 exist

---
 .github/workflows/ci.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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