diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index be3f32b2ca..0d9d910b79 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -36,6 +36,15 @@ jobs: - name: Setup CI uses: ./.github/actions/setup + - name: Cleanup disk space + run: | + df -h + sudo rm -rf /opt/hostedtoolcache + sudo rm -rf /usr/share/dotnet + sudo rm -rf /usr/local/share/boost + sudo rm -rf "$AGENT_TOOLSDIRECTORY" + df -h + - name: Install SP1 toolchain run: | curl -L https://sp1.succinct.xyz | bash @@ -78,6 +87,15 @@ jobs: - name: Setup CI uses: ./.github/actions/setup + - name: Cleanup disk space + run: | + df -h + sudo rm -rf /opt/hostedtoolcache + sudo rm -rf /usr/share/dotnet + sudo rm -rf /usr/local/share/boost + sudo rm -rf "$AGENT_TOOLSDIRECTORY" + df -h + - name: Install SP1 toolchain run: | curl -L https://sp1.succinct.xyz | bash @@ -274,6 +292,15 @@ jobs: - name: Checkout sources uses: actions/checkout@v4 + - name: Cleanup disk space + run: | + df -h + sudo rm -rf /opt/hostedtoolcache + sudo rm -rf /usr/share/dotnet + sudo rm -rf /usr/local/share/boost + sudo rm -rf "$AGENT_TOOLSDIRECTORY" + df -h + - name: Setup CI uses: ./.github/actions/setup