File tree Expand file tree Collapse file tree 2 files changed +7
-1
lines changed
Expand file tree Collapse file tree 2 files changed +7
-1
lines changed Original file line number Diff line number Diff line change 2424 github-token : ${{ secrets.GH_PERSONAL_ACCESS_TOKEN }}
2525 # Ubuntu 22.04 region AMI for ARM
2626 ec2-image-id : ami-062b37d89f25c958f
27- ec2-instance-type : r6gd .medium
27+ ec2-instance-type : t4g .medium
2828 subnet-id : ${{ secrets.AWS_EC2_SUBNET_ID }}
2929 security-group-id : ${{ secrets.AWS_EC2_SG_ID }}
3030
Original file line number Diff line number Diff line change 6565 NAME="$(echo $NAME | sed -e 's/[":\/\\<>\|*?]/_/g')" # Replace invalid characters with underscores
6666 echo "name=$NAME" >> $GITHUB_OUTPUT
6767
68+ - name : Clean up disk space
69+ run : |
70+ sudo apt-get clean
71+ docker system prune -af || true
72+ rm -rf $HOME/.cache || true
73+ df -h
6874 - name : unit tests
6975 run : make unit_test
7076 - name : valgrind
You can’t perform that action at this time.
0 commit comments