diff --git a/.github/workflows/dev.yml b/.github/workflows/dev.yml index 588f7706..28974823 100644 --- a/.github/workflows/dev.yml +++ b/.github/workflows/dev.yml @@ -20,7 +20,7 @@ jobs: rm -rf /usr/share/dotnet rm -rf /opt/ghc rm -rf "/usr/local/share/boost" - rm -rf "$AGENT_TOOLSDIRECTORY" + rm -rf "$AGENT_TOOLSDIRECTORY" || true - name: Set up QEMU uses: docker/setup-qemu-action@v3 diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 1ef55aac..05af547a 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -26,7 +26,7 @@ jobs: rm -rf /usr/share/dotnet rm -rf /opt/ghc rm -rf "/usr/local/share/boost" - rm -rf "$AGENT_TOOLSDIRECTORY" + rm -rf "$AGENT_TOOLSDIRECTORY" || true - name: Set up QEMU uses: docker/setup-qemu-action@v3