aws: change region

Spot instance interrupt frequency got very high on us-east-1. Try ap-southeast-4 which currently has low interrupt rate and good pricing. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Dec 18, 2024 · af23c45 · af23c45
1 parent 965658b
commit af23c45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/aws-proofs/steps.sh b/aws-proofs/steps.sh
@@ -22,7 +22,7 @@ echo "::group::AWS"
 # fail on any error
 set -e
 
-aws configure set default.region us-east-1
+aws configure set default.region ap-southeast-4
 aws configure set default.output json
 
 echo "Starting AWS instance..."