:wrench: delete [skip ci]

diff --git a/.github/workflows/delete.yml b/.github/workflows/delete.yml
index 52c6400c7571adf9107c72b77f71aedc4960fefc..68797bce1610032775769322b5d4d28d62c4cbf6 100644 (file)
--- a/.github/workflows/delete.yml
+++ b/.github/workflows/delete.yml
@@ -16,6 +16,7 @@ jobs:
         cd gwion-coverage-report
         branch=$(basename ${{ github.event.ref }})
         if [ -d html/$branch ]
+        then
           rm -r html/$branch
           git config --local user.email "action@github.com"
           git config --local user.name "GitHub Action"