diff --git a/docs/docs_skeleton/ignore_build.sh b/docs/docs_skeleton/ignore_build.sh deleted file mode 100755 index 6baf30ee..00000000 --- a/docs/docs_skeleton/ignore_build.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/bash - -echo "VERCEL_GIT_COMMIT_REF: $VERCEL_GIT_COMMIT_REF" - -if [[ "$VERCEL_GIT_COMMIT_REF" == "dev2049/docs_docusaurus" ]] ; then - # Proceed with the build - echo "✅ - Build can proceed" - exit 1; - -else - # Don't build - echo "🛑 - Build cancelled" - exit 0; -fi \ No newline at end of file