Skip to content

Commit

Permalink
Add branch check
Browse files Browse the repository at this point in the history
  • Loading branch information
sharkdp authored and David Peter committed Oct 11, 2023
1 parent 5a862d2 commit 768d71f
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions numbat-wasm/deploy.sh
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,13 @@

set -euo pipefail

current_branch=$(git rev-parse --abbrev-ref HEAD)

if [[ "$current_branch" != "master" ]]; then
echo "You are currently on the '$current_branch' branch, not 'master'."
exit 1
fi

wasm-pack build --features=wee_alloc

(
Expand Down

0 comments on commit 768d71f

Please sign in to comment.