CI: increase the disk size on the VMs

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2019-11-18 13:18:25 +01:00
parent 376128761d
commit aeffe090ba
3 changed files with 4 additions and 2 deletions
@@ -76,6 +76,8 @@ function wait_on_vm_build {
        echo "echo \"ps -aux | grep build \"" >> $VM_CMDS
        echo "while [ \$(ps -aux | grep --color=never build_oai | grep -v grep | wc -l) -gt 0 ]; do sleep 3; done" >> $VM_CMDS
    fi
+    echo "echo \"df -h\"" >> $VM_CMDS
+    echo "df -h" >> $VM_CMDS

    ssh -T -o StrictHostKeyChecking=no ubuntu@$VM_IP_ADDR < $VM_CMDS
    rm -f $VM_CMDS