Skip to content

Commit

Permalink
ci/docs-preview: double check preview directory deletion
Browse files Browse the repository at this point in the history
  • Loading branch information
NotAShelf committed Jan 10, 2025
1 parent 6097f7e commit 9c8fbc7
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions .github/workflows/docs-preview.yml
Original file line number Diff line number Diff line change
Expand Up @@ -164,6 +164,19 @@ jobs:
needs: cleanup
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4

- name: Double check preview directory deletion
run: |
# Check if the preview directory exists, and delete it if it does
if [ -d "docs-preview-${{ github.event.pull_request.number }}" ]; then
echo "Something went wrong, preview directory is not deleted."
exit 1
else
echo "Preview directory has been deleted successfully, proceeding."
fi
- name: Post cleanup verification
uses: peter-evans/create-or-update-comment@v4
with:
Expand Down

0 comments on commit 9c8fbc7

Please sign in to comment.