chore: improve ignore build script to ignore branches not starting with docs/ (#13309)

This commit is contained in:
Shahed Nasser
2025-08-27 08:44:21 +03:00
committed by GitHub
parent 5382afccfa
commit 9751c544db

View File

@@ -1,7 +1,13 @@
#!/bin/bash #!/bin/bash
# Exit early if the PR branch doesn't start with 'docs/'
if [[ ! "$VERCEL_GIT_COMMIT_REF" =~ ^docs/ ]]; then
echo "🛑 - Build cancelled: Branch does not start with 'docs/'"
exit 0;
fi
if [[ "$1" == "docs-old" ]]; then if [[ "$1" == "docs-old" ]]; then
echo "Can't build old docs" echo "🛑 - Build cancelled: Can't build old docs"
exit 0; exit 0;
fi fi