Ignore errors when deleting directory (#308)

eiffel-community · Nov 27, 2024 · 45bd6ef · 45bd6ef
1 parent 21e9bec
commit 45bd6ef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/generate-manifest.yml b/.github/workflows/generate-manifest.yml
@@ -13,7 +13,7 @@ jobs:
         uses: actions/checkout@v4
       - name: Clean workspace
         run: |
-          rm -r dist
+          rm -r dist | true
       - name: Generate manifest file
         run: |
           make build-installer