File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 7474 submodules : true
7575 fetch-depth : 1
7676
77+ - name : Free up disk space
78+ run : |
79+ docker volume prune -f || true
80+ docker system prune -af --volumes || true
81+ sudo apt-get clean || true
82+ sudo rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
83+ rm -rf /gha-runner/usr/local/lib/android
84+ rm -rf /gha-runner/usr/local/share/boost
85+ df -h
86+
7787 - name : Configure build - sanitizers ${{ matrix.sanitizers }}
7888 run : cmake --preset ci -DPE_USE_VENDORED_Z3=OFF -DLLVM_EXTERNAL_LIT=$(which lit) -DLLVM_Z3_INSTALL_DIR=/usr/local
7989
8797 cmake --build build_standalone -j$(nproc)
8898 cd -
8999
90- - name : Free up disk space
91- run : |
92- sudo apt-get clean
93- docker system prune -af
94-
95100 - name : Build the headless decompilation docker image
96101 run : |
97102 bash ./scripts/ghidra/build-headless-docker.sh
You can’t perform that action at this time.
0 commit comments