Increase timeout and temporarily disable volume deletion to allow sna…

…pshot creation and resizing in AWS
BerkeleyLearnVerify · Oct 11, 2024 · 5ce23eb · 5ce23eb
1 parent 574bed1
commit 5ce23eb
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/run-simulators.yml b/.github/workflows/run-simulators.yml
@@ -26,7 +26,7 @@ jobs:
             echo "Using latest snapshot with ID: $LATEST_SNAPSHOT_ID"
 
             # Create a new volume from the latest snapshot
-            volume_id=$(aws ec2 create-volume --snapshot-id $LATEST_SNAPSHOT_ID --availability-zone us-west-1b --volume-type sc1 --size 100 --query "VolumeId" --output text)
+            volume_id=$(aws ec2 create-volume --snapshot-id $LATEST_SNAPSHOT_ID --availability-zone us-west-1b --volume-type sc1 --size 150 --query "VolumeId" --output text)
             echo "Created volume with ID: $volume_id"
 
             # Set volume_id as output
@@ -68,7 +68,7 @@ jobs:
             fi
 
             # wait for status checks to pass
-            TIMEOUT=300  # Timeout in seconds
+            TIMEOUT=600  # Timeout in seconds
             START_TIME=$(date +%s)
             END_TIME=$((START_TIME + TIMEOUT))
             while true; do
@@ -225,8 +225,8 @@ jobs:
             aws ec2 wait volume-available --volume-ids $VOLUME_ID
             echo "Volume $VOLUME_ID detached."
 
-        - name: Delete Volume
-          run: |
-            # Delete the volume after snapshot is complete
-            aws ec2 delete-volume --volume-id $VOLUME_ID
-            echo "Volume $VOLUME_ID deleted."
+        # - name: Delete Volume
+        #   run: |
+        #     # Delete the volume after snapshot is complete
+        #     aws ec2 delete-volume --volume-id $VOLUME_ID
+        #     echo "Volume $VOLUME_ID deleted."