Skip to content

Commit

Permalink
ci: wip actions
Browse files Browse the repository at this point in the history
  • Loading branch information
losman0s committed Dec 1, 2023
1 parent 25058a5 commit f5db0a2
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion scripts/build-verifiable.sh
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ fi
program_lib_name=$1
cluster=$2

if [[ -z "$program_lib_name" || -z "$cluster" ]]; then
if [ -z "$program_lib_name" ] || [ -z "$cluster" ]; then
ecbo "Usage: $0 <program_lib_name> <cluster>"
exit 1
fi
Expand Down
2 changes: 1 addition & 1 deletion scripts/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ cd $ROOT
program_lib_name=$1
cluster=$2

if [[ -z "$program_lib_name" || -z "$cluster" ]]; then
if [ -z "$program_lib_name" ] || [ -z "$cluster" ]; then
ecbo "Usage: $0 <program_lib_name> <cluster>"
exit 1
fi
Expand Down
2 changes: 1 addition & 1 deletion scripts/deploy-buffer.sh
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ program_lib_name=$1
cluster=$2
keypair=$3

if [[ -z "$keypair" || -z "$program_lib_name" || -z "$cluster" ]]; then
if [ -z "$keypair" ] || [ -z "$program_lib_name" ] || [ -z "$cluster" ]; then
ecbo "Usage: $0 <program_lib_name> <cluster> <keypair>"
exit 1
fi
Expand Down
2 changes: 1 addition & 1 deletion scripts/verify.sh
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ fi
program_lib_name=$1
cluster=$2

if [[ -z "$program_lib_name" || -z "$cluster" ]]; then
if [ -z "$program_lib_name" ] || [ -z "$cluster" ]; then
ecbo "Usage: $0 <program_lib_name> <cluster>"
exit 1
fi
Expand Down

0 comments on commit f5db0a2

Please sign in to comment.